diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-06 14:26:01 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-07 09:11:46 +0100 |
| commit | 207fcfd9355b01441f2a01614a7de017f4148cde (patch) | |
| tree | 4ae748ce2c1e1b74ab3e46c3f6d616b1c1f271fd /theories/Compat | |
| parent | 75b49b14987ec9467ec5916609da8ce3136d3e11 (diff) | |
Improve formatting of a message in [Arguments].
Diffstat (limited to 'theories/Compat')
0 files changed, 0 insertions, 0 deletions