added dirty jmri package

This commit is contained in:
Rouven Seifert 2023-05-03 16:22:42 +02:00
parent 5dfa4b73f9
commit d3d384fdb8
Signed by: rouven.seifert
GPG key ID: B95E8FE6B11C4D09
5 changed files with 49 additions and 6 deletions

View file

@ -8,7 +8,7 @@ in
port = 4000;
hydraURL = domain;
notificationSender = "hydra@localhost";
buildMachinesFiles = [];
buildMachinesFiles = [ ];
useSubstitutes = true;
};