summaryrefslogtreecommitdiffstats
path: root/.gitignore (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename to mklint to avoid confusion with pre-existing tool with opposite goalMattias Andrée2022-01-011-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@kth.se>
* First commitMattias Andrée2021-12-311-0/+15
Signed-off-by: Mattias Andrée <maandree@kth.se>