Changes pushed with changeset dbbf303cf467441dc813cdd99dd1e1867506021b
User
Push date [To Local]
ChangesetPatch author — Commit message
franziskuskiefer@gmail.com
Thu Jan 26 14:45:03 2017 +0000
dbbf303cf467441dc813cdd99dd1e1867506021bFranziskus Kiefer — make clang-format happy