mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-23 15:33:13 +00:00
0daa4b200c
coq: document CoqIDE split |
||
---|---|---|
.. | ||
manual | ||
varlistentry-fixer.rb | ||
xmlformat.conf |