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
 | 
