loglib: reorder slides sequence numbers
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2015 18:03:24 +0000 (19:03 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2015 18:03:24 +0000 (19:03 +0100)
teaching/1415/loglib/cours-00-history.pdf [deleted file]
teaching/1415/loglib/cours-01-intro.pdf [new file with mode: 0644]
teaching/1415/loglib/cours-01-presentation.pdf [deleted file]
teaching/1415/loglib/cours-02-history.pdf [new file with mode: 0644]

diff --git a/teaching/1415/loglib/cours-00-history.pdf b/teaching/1415/loglib/cours-00-history.pdf
deleted file mode 100644 (file)
index 574f860..0000000
Binary files a/teaching/1415/loglib/cours-00-history.pdf and /dev/null differ
diff --git a/teaching/1415/loglib/cours-01-intro.pdf b/teaching/1415/loglib/cours-01-intro.pdf
new file mode 100644 (file)
index 0000000..da1542b
Binary files /dev/null and b/teaching/1415/loglib/cours-01-intro.pdf differ
diff --git a/teaching/1415/loglib/cours-01-presentation.pdf b/teaching/1415/loglib/cours-01-presentation.pdf
deleted file mode 100644 (file)
index da1542b..0000000
Binary files a/teaching/1415/loglib/cours-01-presentation.pdf and /dev/null differ
diff --git a/teaching/1415/loglib/cours-02-history.pdf b/teaching/1415/loglib/cours-02-history.pdf
new file mode 100644 (file)
index 0000000..574f860
Binary files /dev/null and b/teaching/1415/loglib/cours-02-history.pdf differ