diff options
Diffstat (limited to 'web/ignore.txt')
| -rw-r--r-- | web/ignore.txt | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/web/ignore.txt b/web/ignore.txt index 043810b..e69de29 100644 --- a/web/ignore.txt +++ b/web/ignore.txt @@ -1,14 +0,0 @@ -# progress-linux -cryptsetup 2:2.3.4-1+exp1 -e2fsprogs 1.46~WIP.2019.10.03-1 -icu 68.1-1 -libgit2 1.0.1+dfsg.1-1 -libreoffice 1:7.1.0~alpha1-1 -openssl 3.0.0~~alpha4-1 - -# obsolete -llvm-toolchain-8 1:8.0.1-10~progress5+u1 -tty-server 0.0~git20201105.50b9367+ds-1~progress5+u1 - -# bfh -octave 6.0.90-1 |