diff options
| author | Vincent Laporte | 2018-11-07 11:53:16 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-07 16:08:29 +0000 |
| commit | 3c940f8e88e8d57681431c483e6d3e41114c8cc8 (patch) | |
| tree | f02f74921d82862d345fe629cf981a50fcabf678 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 61a070f7e6c13729f2ee879b6a419353049b1ea7 (diff) | |
[Funind plugin] Remove some dead code
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions