diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-16 22:45:51 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-16 22:45:51 +0100 |
| commit | 3b79b7e6ae441c92e9f97abd1532ac0dd34fe068 (patch) | |
| tree | 311b543fce325dd2fe83c9ad18138f938b5397d5 /Makefile | |
| parent | Automatically generate a revision table from git history (diff) | |
Add a revision table to the “Rewrite in Coq” article
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions