History for marking / .gitignore
2016-09-04
Special criterion added. Marking properties added. Remember last selection.
Mark committed on 4 Sep 2016