2019-03-22 | use with |
commit | commitdiff | tree | |
2019-03-22 | improved process management |
commit | commitdiff | tree | |
2019-03-06 | setting limits for maps, with map type recognition |
commit | commitdiff | tree | |
2019-03-06 | nicer formatting of sets |
commit | commitdiff | tree | |
2018-12-06 | fixed bug in filtering record fields for display |
commit | commitdiff | tree | |