mark.george / marking
History for marking / .gitignore
2023-06-06
6ca357e
Browse files »
Add jdtls stuff to ignorefile
Mark George committed on 6 Jun 2023
2022-06-17
5176a5e
Browse files »
Change 'special' criterion to text fields. ...
Mark George committed on 17 Jun 2022
4edd47f
Browse files »
Minor cleanup. Library updates. Update schema to latest version.
Mark George committed on 17 Jun 2022
2016-09-04
b129533
Browse files »
Special criterion added. Marking properties added. Remember last selection.
Mark committed on 4 Sep 2016