Jonathan Grizou 8ac1ee557e Merge branch 'develop' into plug/texnote
* develop:
  Dummy mistake in headers.py.
2013-07-07 00:27:36 +02:00
..
2013-07-07 00:26:58 +02:00
2013-07-02 15:57:28 +01:00
2013-07-02 18:01:41 +01:00
2013-07-05 19:47:26 +02:00
2013-07-02 18:01:41 +01:00
2013-07-04 18:13:30 +02:00
2013-07-04 12:10:23 +02:00