summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-01-17 07:45:56 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-01-17 07:45:56 +0100
commit28388680567b885fe0a3a8c2364175b8879108fd (patch)
tree4b977090eff66ae9fde2ea01dcaab94f42f227a9
parentcabc43b34723efa7640313348b844eabe9971e38 (diff)
Rename conventions.txt
-rw-r--r--code_conventions.md (renamed from Conventions.txt)0
1 files changed, 0 insertions, 0 deletions
diff --git a/Conventions.txt b/code_conventions.md
index e4ae7925..e4ae7925 100644
--- a/Conventions.txt
+++ b/code_conventions.md