diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-01-22 09:38:44 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-01-22 09:38:44 +0100 |
commit | e362c3ecc84099b0187060248b54d5579ff1cea3 (patch) | |
tree | 7b3272c43987cf26d92e2826d5bd3ea584b55321 /vernac/assumptions.ml | |
parent | 314928aa0a430447a2fab30b9ef1235afa77c054 (diff) | |
parent | f64fbac69691e05c0f2a9106ccebe6a93a7be20d (diff) |
Merge PR #6575: Add flash infos for find and replace
Diffstat (limited to 'vernac/assumptions.ml')
0 files changed, 0 insertions, 0 deletions