]> git.pond.sub.org Git - empserver/commit
indent-emp: Take files to indent from command line
authorMarkus Armbruster <armbru@pond.sub.org>
Tue, 31 May 2016 19:34:33 +0000 (21:34 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 6 Aug 2017 17:59:56 +0000 (19:59 +0200)
commitc8e2a02d2f6ac3ecf63aca1cdacf5f49db24ddf4
tree285612713043e19409586423e4dea9d84e7d946f
parenta65fcfc23c65732aab89581ac50b1e3a23c1b0b2
indent-emp: Take files to indent from command line

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
src/scripts/indent-emp