6543 cee345cd25 fix until name change		2018-05-20 23:16:24 +02:00
..
debian	standalone executable	2018-05-11 00:04:02 +02:00
desinfect.17	standalone executable	2018-05-11 00:04:02 +02:00
desinfect2017	fix until name change	2018-05-20 23:16:24 +02:00
ubuntu	standalone executable	2018-05-11 00:04:02 +02:00
ubuntu.16.04	standalone executable	2018-05-11 00:04:02 +02:00