diff options
| author | coqbot-app[bot] | 2020-10-25 20:00:32 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-25 20:00:32 +0000 |
| commit | a12112c15cdcb0467d4cf5f5a7cfa639852ccd49 (patch) | |
| tree | 3e2d8983efe06e93cbfab75a65b4f4420525332a /plugins/ltac | |
| parent | d397f10bf4d334189523e187b2cd5fd6e18b4bcc (diff) | |
| parent | 7a57a23e4fb8a74e8746d4eaee900f2ced37a28a (diff) | |
Merge PR #12936: Convert misc chapters to prodn, update syntax
Reviewed-by: Zimmi48
Ack-by: mattam82
Ack-by: pi8027
Ack-by: herbelin
Ack-by: gares
Ack-by: fajb
Ack-by: proux01
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions