summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2022-12-18 13:19:06 +0000
committerGreg Brown <greg.brown01@ed.ac.uk>2022-12-18 13:19:06 +0000
commit88b6df5dd91c062a96e646e6e6b0ac5fd57b7c03 (patch)
treee87c9a32740d6d9038156b1339737e93b9d617a3 /.gitignore
parent97f4dfe968f55e115f61ef43c37b8e7a16b6c3fd (diff)
Add False type.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions