Allan Odgaard 127ef7e9eb Files with no extension open as plain text ...

This is instead of asking the user.

2013-01-23 12:36:48 +01:00

..

src

Files with no extension open as plain text

2013-01-23 12:36:48 +01:00

tests

Files with no extension open as plain text

2013-01-23 12:36:48 +01:00

target

Initial commit

2012-08-09 16:25:56 +02:00