diff options
| author | Erik Martin-Dorel | 2020-01-28 02:32:41 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-01-28 22:46:50 +0100 |
| commit | 654326961d151dfff62a58aef8f16a00ed39b6b8 (patch) | |
| tree | 307b141a2bca05b2f0745edafefcbf3a256004b3 /dev/doc | |
| parent | 861e3ed8b0c96354c959767ae4750e28193f8d38 (diff) | |
docs: Add missing prefix (bug_*.v)
Related: https://github.com/coq/coq/pull/8630
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions