diff options
Diffstat (limited to 'resources/modules')
-rwxr-xr-x | resources/modules | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/resources/modules b/resources/modules new file mode 100755 index 0000000..931111e --- /dev/null +++ b/resources/modules @@ -0,0 +1,11 @@ +parskip # Ne pas indenter la premiere ligne d'un paragraphe
+#ulem # Souligner le texte en emphase
+
+# Polices mathematiques.
+amsmath
+amsfonts
+amssymb
+
+DUpygments-tango
+DUsmallcaps
+marginfix
|