diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-04-03 21:27:01 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-04-03 21:27:01 +0200 |
commit | b2cfc0691147ca122861bc423d41495c4b444dde (patch) | |
tree | 41b1cc2363cb11e4098ce8ccb06b8ea994df35b6 /src/common/doc/stylesheet.css | |
parent | 7830d93607257fd75f09b371e88741a517347579 (diff) |
Simplify some code
Diffstat (limited to 'src/common/doc/stylesheet.css')
0 files changed, 0 insertions, 0 deletions