summaryrefslogtreecommitdiff
path: root/.hgignore
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-11-22 09:48:16 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-11-22 09:48:16 -0500
commitd1f2bff235da587284f682679f365311637b1bb1 (patch)
tree4b68416fb5a53be90b9a91f3d1fcaf32f971f73c /.hgignore
parentb9f7e59db7470f278b62e7a16e68f33c1deb1ca1 (diff)
Get SML/NJ support working again
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions