diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
commit | 2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc (patch) | |
tree | c8db3f2a7887237b48689dd140417e2875d3cb10 /scripts | |
parent | Add a revision table to the “Rewrite in Coq” article (diff) |
Adopt a literate programming approach for the configuration
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions