|
|
62e8819deb
|
Re-generate the Makefiles
|
2017-11-09 05:11:41 +01:00 |
|
|
|
3701794802
|
Load platform-specific programs from a configuration file
|
2017-11-09 05:11:16 +01:00 |
|
|
|
3a9b33cf27
|
Re-generate the Makefiles
|
2017-11-09 04:43:14 +01:00 |
|
|
|
ad6257b5c4
|
Use a configuration file for paths to programs
|
2017-11-09 04:42:43 +01:00 |
|
