common
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
server
|
Changed: Minor changes
|
2016-08-10 15:45:37 +02:00 |
tools
|
Changed: Fix the temporary directory, see #279
|
2016-09-20 18:35:31 +02:00 |
COPYING
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |