diff options
Diffstat (limited to 'web/ignore.txt')
-rw-r--r-- | web/ignore.txt | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/web/ignore.txt b/web/ignore.txt new file mode 100644 index 0000000..043810b --- /dev/null +++ b/web/ignore.txt @@ -0,0 +1,14 @@ +# 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 |