Fix to not run gdbserver.
[nethome.git] / .weblintrc
2001-07-20 shortweblint has been installed, default config