diff options
| author | coqbot-app[bot] | 2020-11-18 13:04:51 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-18 13:04:51 +0000 |
| commit | 162c19cbb1863e11a81450a188a6d7f9f79e8b73 (patch) | |
| tree | bf1f2c534d3dcc86cc85597c9a49f3451fb48c2f /vernac | |
| parent | 4a56d4d90294d3f6128d68d7d1d11e3e27ae8b9a (diff) | |
| parent | 3fb5c7751988d6e8e0193dba36828bb0eb0d7a41 (diff) | |
Merge PR #13220: Give a typical example of Makefile wrapper for coq_makefile (addresses #12903)
Reviewed-by: gares
Ack-by: Zimmi48
Ack-by: SkySkimmer
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions