+Some diff(1) helpers.
[nethome.git] / .weblintrc
2001-07-20 shortweblint has been installed, default config