diff options
| author | Joshua M. Boniface <joshua@boniface.me> | 2020-04-09 11:50:46 -0400 |
|---|---|---|
| committer | Joshua M. Boniface <joshua@boniface.me> | 2020-04-09 11:50:46 -0400 |
| commit | fbad4f00b4a95b889708d430ad445a58dad2f964 (patch) | |
| tree | 84a4d9cd0d996100c2b5f23892f8de0dfecfe75d /deployment/old/debian-package-x64/pkg-src/source/format | |
| parent | 42813ef06973126151e2c91ecb7aa6836e0d472c (diff) | |
Remove old build infra (again)
Diffstat (limited to 'deployment/old/debian-package-x64/pkg-src/source/format')
| -rw-r--r-- | deployment/old/debian-package-x64/pkg-src/source/format | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/deployment/old/debian-package-x64/pkg-src/source/format b/deployment/old/debian-package-x64/pkg-src/source/format deleted file mode 100644 index d3827e75a5..0000000000 --- a/deployment/old/debian-package-x64/pkg-src/source/format +++ /dev/null @@ -1 +0,0 @@ -1.0 |