diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 22:15:45 +0100 |
| commit | 1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch) | |
| tree | 1860d41cf4e307cf1cbf872f335a4ca1b422392e /Makefile | |
| parent | Rework StronglySpecifiedFunctionsProgram.v (diff) | |
Change the date format
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions