summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2020-07-05 20:45:46 +0200
committerThomas Vigouroux <39092278+vigoux@users.noreply.github.com>2020-07-06 11:15:17 +0200
commit27d7a0ffff1623572a642f3e45db3fc556dafec3 (patch)
tree2eef90da375b82a85b30bf5e996f53054cb3f4cb /.github
parentab1916f3854c8181c7d68f1a4801bc5f217dd4be (diff)
Add style-check script
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions