History for legacy/legacy.makefile
|
2019-08-19
| ||
| 05:42 | Renamed legacy/makefile → legacy/legacy.makefile. switch over to new build mechanism and formally deprecate makefiles file: [f9a6a3944e] check-in: [34c625a47b] user: lexi, branch: trunk, size: 4446 [annotate] [blame] [check-ins using] [diff] | |