From 1a96a472e38d3b40e8a7a8327f3be90dcdb7e934 Mon Sep 17 00:00:00 2001
From: 75995e7ce7125775069ce77a503c68c2
 <75995e7ce7125775069ce77a503c68c2@app-learninglab.inria.fr>
Date: Fri, 12 Feb 2021 15:17:30 +0000
Subject: [PATCH] Try the .md extension, so that gitlab recognizes the file
 type

---
 journal/{logbook_elhomsy => logbook_elhomsy.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename journal/{logbook_elhomsy => logbook_elhomsy.md} (100%)

diff --git a/journal/logbook_elhomsy b/journal/logbook_elhomsy.md
similarity index 100%
rename from journal/logbook_elhomsy
rename to journal/logbook_elhomsy.md
-- 
2.18.1