------------------------------------------------------------------------
r40928 | michael | 2019-01-20 12:15:07 +0100 (Sun, 20 Jan 2019) | 1 line
* Remove debug statement
------------------------------------------------------------------------
r40929 | michael | 2019-01-20 12:17:46 +0100 (Sun, 20 Jan 2019) | 1 line
* Remove debug statement
------------------------------------------------------------------------
r40937 | michael | 2019-01-20 14:47:25 +0100 (Sun, 20 Jan 2019) | 1 line
* Fix filename allocator for operators
------------------------------------------------------------------------
r40945 | michael | 2019-01-20 18:56:30 +0100 (Sun, 20 Jan 2019) | 1 line
* Correct options for parsing
------------------------------------------------------------------------
r40946 | michael | 2019-01-20 18:57:27 +0100 (Sun, 20 Jan 2019) | 1 line
* Do not save so much session info
------------------------------------------------------------------------
git-svn-id: branches/fixes_3_2@40948 -