All files named ”random.init.mk”
Logged in as anonymous

History for random.init.mk

2019-10-23
07:54
Deleted: join all init scripts to speed up initialization check-in: [295630c60d] user: arcade, branch: trunk, size: 0
2019-10-21
16:17
Renamed and modified random.init → random.init.mk. rename, make silent, add correct logging, collapse command file: [6bbf837dab] check-in: [7a1e7f4a58] user: arcade, branch: trunk, size: 563 [annotate] [blame] [check-ins using] [diff]