History of the file that is called global/build-pdf.sh at checkin 34c625a47b56572efa5b2f4f599318d63c7d6e47bfa08f5b6eed8cc54a8f917c
|
2019-08-19
| ||
| 22:40 | Deleted: add documentation compilation check-in: [8d6d792515] user: lexi, branch: trunk, size: 0 | |
| 05:42 | Added: switch over to new build mechanism and formally deprecate makefiles file: [045bd446a1] check-in: [34c625a47b] user: lexi, branch: trunk, size: 251 [annotate] [blame] [check-ins using] | |