diff options
Diffstat (limited to 'infrastructure')
-rwxr-xr-x | infrastructure/makebuildenv.pl.in (renamed from infrastructure/makebuildenv.pl) | 0 | ||||
-rwxr-xr-x | infrastructure/makeparcels.pl.in (renamed from infrastructure/makeparcels.pl) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/infrastructure/makebuildenv.pl b/infrastructure/makebuildenv.pl.in index 29479558..29479558 100755 --- a/infrastructure/makebuildenv.pl +++ b/infrastructure/makebuildenv.pl.in diff --git a/infrastructure/makeparcels.pl b/infrastructure/makeparcels.pl.in index e70dcf29..e70dcf29 100755 --- a/infrastructure/makeparcels.pl +++ b/infrastructure/makeparcels.pl.in |