Commit Log

commit description author date
37c770bfb5b3 some tweakes to the LaTeX colors Giovanni Lanzani Mon, 13 Aug 2012 11:18:04 +0200