diff options
| author | Jasper Hugunin | 2018-03-29 13:56:37 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2018-03-29 13:56:37 -0700 |
| commit | b125a5f28b41c5a8f9fb3d5944f7b9a1bad0ba24 (patch) | |
| tree | 3038dfe4461fb429b6bc867b067eb03d565cd034 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | c0eedb5bdcb815132f404e19d6bf59730ae6e2df (diff) | |
Remove outdated patch from ci-sf
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions