diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-29 00:06:41 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-29 00:06:41 -0500 |
| commit | 84e3373e401fba65e5be74771ff5b443b34361e0 (patch) | |
| tree | c0bb8d1210fc6a39c837e748a2ebb7acaa762fdf /coq/coq-syntax.el | |
| parent | 595c2aaf975bdc6afd996806891a5a790684e267 (diff) | |
Redo 11b03d4 (ensure that ‘Time’ isn't added to internal commands)
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions