diff options
| author | Théo Zimmermann | 2020-04-01 11:09:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-20 17:16:29 +0200 |
| commit | f952c8c45a51acf9155b81839db4f3d0ab6e7aa1 (patch) | |
| tree | b901699e2927391f823ad72621a596e500bb7e4c /dev/base_include | |
| parent | 09744b465f8ca45e5313efb6922a55a9075e33e5 (diff) | |
Remove coqremote stylesheets which were useless since the Sphinx migration.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions