common
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |
server
|
Changed: Minor changes
|
2016-10-18 17:45:55 +02:00 |
tools
|
Changed: Skip already uncompressed files
|
2016-10-18 17:46:31 +02:00 |
COPYING
|
Changed: Create .desktop file under Linux, see #279
|
2016-07-25 18:27:53 +02:00 |