diff options
| author | Vincent Laporte | 2019-05-13 08:23:19 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-13 08:23:19 +0000 |
| commit | 2ddc02f2705a1e5bff4d877cb19507afa56ab1d2 (patch) | |
| tree | e4b3a36aefd4eea5536340ed9b7401be74a2ca6d /lib | |
| parent | 57ed5dbda3241eef38ebff11196bc38ca9fa3f05 (diff) | |
| parent | 3603a6d3324aa54c385f3f84a9fb4d5b9c2fde57 (diff) | |
Merge PR #10079: [refman] Move Ltac examples to Ltac chapter.
Ack-by: Zimmi48
Reviewed-by: jfehrle
Ack-by: ppedrot
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions