activation coloration de source

2020-04-20 00:32:14 +02:00
1 parent 7387bcc9f9
commit b65a19fb01
@@ -1,5 +1,6 @@
-:revealjs_slideNumber:
 = Gestion de versions du code
+:revealjs_slideNumber:
+:source-highlighter: highlightjs

 == Objectifs du cours