diff options
author | 2016-01-16 09:54:47 -0500 | |
---|---|---|
committer | 2016-01-16 09:54:47 -0500 | |
commit | 6dac2333591c096dd77c534a2b7233b12332ea43 (patch) | |
tree | a6b053d00bc1d7d74d35e7ee06e4345b9ebf1660 /src/mono_print.sml | |
parent | ec67c4241a96399847efad4c5f9ab0b20744a728 (diff) |
More debugging autoconf by pushing a change for Travis to look at: use '-debug' in 'make test'
Diffstat (limited to 'src/mono_print.sml')
0 files changed, 0 insertions, 0 deletions