virus
lammm-devel978d5786ce4cff85c5bc847…

Mar 3 2016

removed some crap a file manager left behind.
f513bf05ec71
·Stefan Paquay on Mar 3 2016, 18:02.
Added user-manifold package.
889fda57feea
·Stefan Paquay on Mar 3 2016, 00:04.