Navigation

Here I collect things I call "general debian related stuff", though some of them are useful outside of Debian context as well. There is not much to see here, as I prefer to work within the relevant Debian ressources directly.