aboutsummaryrefslogtreecommitdiff
path: root/fichiers
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-27 16:00:15 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-27 16:00:15 +0200
commit76b155233eb209fadb8cc5c07eeac385ea4ae260 (patch)
treeea7ad71b59f7325fff1c3d3300880801ad97d784 /fichiers
parent303172772f16de972cd8bc64c35ab3483bf4fc68 (diff)
downloadcourses-76b155233eb209fadb8cc5c07eeac385ea4ae260.tar.gz
have 'publishers' info printed on all documents
Diffstat (limited to 'fichiers')
-rw-r--r--fichiers/03-grep-bash.tex1
1 files changed, 0 insertions, 1 deletions
diff --git a/fichiers/03-grep-bash.tex b/fichiers/03-grep-bash.tex
index f662632..4f46a6b 100644
--- a/fichiers/03-grep-bash.tex
+++ b/fichiers/03-grep-bash.tex
@@ -2,7 +2,6 @@
2\input{../_preamble_bbl} 2\input{../_preamble_bbl}
3\usepackage{menukeys} 3\usepackage{menukeys}
4\title{grep et bash} 4\title{grep et bash}
5\publishers{\url{https://notabug.org/ralessi/courses/}}
6\usepackage{float} 5\usepackage{float}
7\usepackage{dingbat} 6\usepackage{dingbat}
8\usepackage[newfloat]{minted} 7\usepackage[newfloat]{minted}