Jonathan Grizou c44881d3b3 Merge branch 'develop' into plug/texnote
* develop:
  Adapt function in helpers.py to changes in ui.
2013-07-07 00:21:39 +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