diff options
| author | Jason Gross | 2018-08-14 14:04:08 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:54 -0400 |
| commit | 6a280b70fc66ff0231a9945cc3b3718385d3971c (patch) | |
| tree | cce9e4dc9ead0d3df80ed0d310aafe250225af08 /plugins/syntax/string_syntax_plugin.mlpack | |
| parent | 296ac045fdfe6d6ae4875d7a6c89cad0c64c2e97 (diff) | |
Move g_numeral.ml4 to numeral.ml
As per https://github.com/coq/coq/pull/8064#pullrequestreview-145971522
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions