Age | Commit message (Collapse) | Author |
|
(name{page.1}) has been already used, duplicate ignored
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
avec tout de même pas mal d'original content cette foi-ci
|
|
|
|
|
|
mais bon, c'est ce que Julien m'avait dit de faire
|
|
|
|
|
|
|
|
|
|
had too update some .gitignore and Makefiles
|
|
using LC_NUMERIC=fr_FR.UTF-8 we get space separated thousands, but the separator
is an unicode charracter so we must declare it in the LaTeX header.
The full tables will be generated later
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
IDK why it didn't crash earlier
|
|
Without this option daily commits visibly alternated between two
branches, creating huge diffs at each switch, and causing the data to be
misleading.
|
|
|
|
|
|
|
|
|
|
|
|
and start redaction of details
|