+git: checkout: +--ignore-other-worktrees
[nethome.git] / .weblintrc
2001-07-20 shortweblint has been installed, default config