diff options
| author | Enrico Tassi | 2014-10-22 16:50:43 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-10-22 16:50:52 +0200 |
| commit | 26b6fa7fe182083112c7eff080f5130556a08678 (patch) | |
| tree | 09c6276c3aff4a970a505dc6d5fd6954b3ba4fe6 /kernel | |
| parent | 56a5d78e8dfecb46f4453c632c50e3270f7271bb (diff) | |
CoqIDE: fix parsing of multicharacter bullets
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions