diff options
| author | Emilio Jesus Gallego Arias | 2020-10-19 14:19:10 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-10-21 20:16:36 +0200 |
| commit | 0730062742daab12000d950b8f34f05fd72ca5cd (patch) | |
| tree | 99a8beb213a245d5e7b1077c606d4769000370ef /plugins/syntax/string_notation_plugin.mlpack | |
| parent | f8a0b47dee445bb71e0824df576f69dd56511257 (diff) | |
[coqinit] Cosmetics on long list append.
Diffstat (limited to 'plugins/syntax/string_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions