aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDeterminant <ted.sybil@gmail.com>2018-02-02 19:16:37 -0500
committerDeterminant <ted.sybil@gmail.com>2018-02-02 19:16:37 -0500
commit27bd83047dc6d5d0bf137db82f372fcd97656a31 (patch)
tree32952d63e44c1b5e96400d5a466e62c3a15f4a6a /.gitignore
parent25c438b9056e2dee99fcc8680a6c295df9aa939e (diff)
use a separate type for None
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions