summaryrefslogtreecommitdiff
path: root/.github/CONTRIBUTING.md
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2022-03-22 20:51:00 +0100
committerMarc Glisse <marc.glisse@inria.fr>2022-03-22 20:51:00 +0100
commit8f9ab73676a1d9c8b981055ff00c93dc3f37abe0 (patch)
tree5e17b8028c21f81eb9b57e6ee5ede0812a75a2af /.github/CONTRIBUTING.md
parent9799031c52fbe89d70e844382308e4a151e28d14 (diff)
Update doc and biblio
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions