Wed, 17 Jul 2019 14:13:11 +0200 |
Thomas Junk |
closing branch pdfprint
pdfprint
|
Wed, 17 Jul 2019 14:12:59 +0200 |
Thomas Junk |
merge with default
pdfprint
|
Wed, 17 Jul 2019 13:54:01 +0200 |
Sascha Wilde |
Set schema version in update-db.sh, not in extra scripts.
|
Wed, 17 Jul 2019 13:40:38 +0200 |
Sascha Wilde |
Added version info to schema.
|
Wed, 17 Jul 2019 13:00:19 +0200 |
Thomas Junk |
merge with default
diagram-cleanup
|
Wed, 17 Jul 2019 12:48:19 +0200 |
Thomas Junk |
document algorithm
pdfprint
|
Wed, 17 Jul 2019 12:28:25 +0200 |
Thomas Junk |
improve PDFTool
pdfprint
|