18 Oct, 2019
3 commits
-
Small adjustments in property manager.
11 Oct, 2019
1 commit
12 Sep, 2019
2 commits
11 Sep, 2019
1 commit
09 Sep, 2019
1 commit
-
remap file is now a property.
22 Jul, 2019
1 commit
17 Jul, 2019
1 commit
16 Jul, 2019
1 commit
-
clipboard will be used.
15 Jul, 2019
2 commits
12 Jul, 2019
1 commit
11 Jul, 2019
2 commits
-
Fixing memory leaks detected with valgrind