On 2008-04-05 at 14:37:04 [+0200], Axel Dörfler <axeld@xxxxxxxxxxxxxxxx> wrote: > Michael Pfeiffer <michael.w.pfeiffer@xxxxxxxxx> wrote: > > Can we put these kind of files into the repository somewhere? > > Why not, even though it doesn't fit that well into docs/ - maybe > 3rdparty? Yep. How about something like 3rdparty/{indent,indent_settings,autoindent}? CU, Ingo