bin
|
Minor sync of files from production server
|
2022-07-03 16:37:21 +02:00 |
config
|
Sync with current production server
|
2023-08-07 12:33:15 +02:00 |
makedist
|
Sync with current production server
|
2023-08-07 12:33:15 +02:00 |
po
|
makedist-announcement.sh: update introduction text
|
2022-05-07 20:31:32 +02:00 |
var
|
Major sync to current used version
|
2015-03-15 00:24:14 +01:00 |
ChangeLog
|
Initial commit
|
2011-05-04 02:30:35 +02:00 |
LICENSE
|
Initial commit
|
2011-05-04 02:30:35 +02:00 |
Makefile
|
Makefile: don't create a Changelog.git
|
2022-07-03 16:38:39 +02:00 |