summaryrefslogtreecommitdiff
path: root/.github/CONTRIBUTING.md
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-05-24 22:40:44 +0200
committerMarc Glisse <marc.glisse@inria.fr>2020-05-24 22:40:44 +0200
commit9ff9055a93b5bc5c402519bd0bc8c85bf97d6d84 (patch)
tree1d7c48e7a6a7c23f919066f764c779ea1f65d9c2 /.github/CONTRIBUTING.md
parent753198e6d70e761df0c92617dfef7b338de4ba82 (diff)
Move metric to params
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions