diff options
| author | nico <nico@magicbroccoli.de> | 2020-10-26 21:15:39 +0100 |
|---|---|---|
| committer | nico <nico@magicbroccoli.de> | 2020-10-26 21:15:39 +0100 |
| commit | 6bb592ff466ad9458ba6e0034ddd6c4e60c6da7d (patch) | |
| tree | df476e7dc3ec63ca36cbab162918c2d7593f5fb9 /.gitignore | |
| parent | dd7a17894c223577d58f5471c01ccdf53115b1a8 (diff) | |
GitHub Action
+ generic github action for some basic syntax checking
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions