summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorOlivier Gayot <olivier.gayot@sigexec.com>2021-12-23 17:44:08 +0100
committerOlivier Gayot <olivier.gayot@sigexec.com>2021-12-23 23:15:21 +0100
commit15b9a844919d51f6f7afeddca453252191a8af7d (patch)
treef117ac36a3374f75888227dea23d303baf5034de /.gitignore
parent96eaa6555ae44e30b3784576a6ecd0941523691f (diff)
Add script to run static type checking
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions