diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-11-22 09:48:16 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-11-22 09:48:16 -0500 |
commit | 5697b7b3adf3e0c92e2cb3f413dc9135b99a159c (patch) | |
tree | 4b68416fb5a53be90b9a91f3d1fcaf32f971f73c /configure.ac | |
parent | 82402fe5b8c9f6557042164b9d2da4208c73ef6d (diff) |
Get SML/NJ support working again
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions