From 3162af5cdb977e58f53500f9b7ccb233911cb1ff Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Mon, 3 Sep 2018 16:09:35 +0200 Subject: [PATCH] Change name of class cours_prof. --- cours/{cours_prof.cls => cours_paper.cls} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename cours/{cours_prof.cls => cours_paper.cls} (100%) diff --git a/cours/cours_prof.cls b/cours/cours_paper.cls similarity index 100% rename from cours/cours_prof.cls rename to cours/cours_paper.cls