diff options
| author | Pierre Roux | 2020-04-22 18:45:38 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-05-09 17:54:00 +0200 |
| commit | 3864d780c6b2d1efeef9498b4a977f20a91866c5 (patch) | |
| tree | 59eed9d722248f7023b1b200ac3f63592122feea /plugins/syntax/string_notation.mli | |
| parent | 492eae7a4a6b948f5389e7f32170e21218430322 (diff) | |
Uniformize indentation in theories/Numbers
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions