diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-10-19 13:48:36 -0300 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-10-19 13:48:36 -0300 |
| commit | 9defc0350b781f15b6d96a8059073ebfc4175907 (patch) | |
| tree | 159cef9a8e3ac47fd1388acf8035a56a7f1e5141 /.gitignore | |
| parent | 1112bdebb4d144e36e6e007ffc23cdf80c40550c (diff) | |
| download | mccd.space-9defc0350b781f15b6d96a8059073ebfc4175907.tar.gz mccd.space-9defc0350b781f15b6d96a8059073ebfc4175907.tar.bz2 mccd.space-9defc0350b781f15b6d96a8059073ebfc4175907.zip | |
Clarify example
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions