diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-04 21:05:48 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-04 21:05:48 +0200 |
commit | 1b985e084e89c8d952644031dd03c9b2736261aa (patch) | |
tree | cf1d6a1becc3cc92716dcdc645fb7384daee231d /vernac | |
parent | cf39d22df11bc33d393db42dfd4b5b0a2c8ded16 (diff) | |
parent | cf265ef5e32f08562db702fb545fb5d346e0e924 (diff) |
Merge PR #1078: Report missing arguments in error message
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions