summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-11-24 11:36:10 +0100
committerThomas Letan <lthms@soap.coffee>2020-11-24 11:36:41 +0100
commit4c8e5fa7b897253d23cda93cc747a5c5cda49b2a (patch)
tree2560c12cb602a6bcb01a7b84f4a93187612285b6 /.gitignore
parent465afb342f71673a14cac3f7669915c87d08ae64 (diff)
Announce the acceptance of our coqffi paperHEADmaster
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions