diff options
| author | Emilio Jesus Gallego Arias | 2019-03-01 19:32:08 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-01 19:32:08 +0100 |
| commit | 53240d3248ce1fb36ab99036186eda9051fbb068 (patch) | |
| tree | 9be346deef1c71458aab59da474a4eb2d8a19579 /dev/doc | |
| parent | 1e03d1e666e74b95b9936bfdd6f04d54c607c37f (diff) | |
| parent | f13a56cad95dae05b63b735fd6eb6bd4596f9a00 (diff) | |
Merge PR #9676: Move test_mode from Flags to Vernacentries (use point)
Reviewed-by: ejgallego
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions