diff options
| author | Emilio Jesus Gallego Arias | 2020-07-08 12:34:52 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-08 12:34:52 +0200 |
| commit | 975314b4b4a57889e00dc88e52cb4dc6366fc068 (patch) | |
| tree | dd777da2f1a0842617e045c55d807f602bc38c10 /dev | |
| parent | cf383c1f2e0c9effd9774bc25579eeaca4c24ae0 (diff) | |
| parent | f23ce3f827fa340bfa0ab0b0abfc953a626fcebd (diff) | |
Merge PR #12654: Reindent ppvernac.ml
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions