diff options
author | Chris Dyer <redpony@gmail.com> | 2014-10-16 23:26:09 -0400 |
---|---|---|
committer | Chris Dyer <redpony@gmail.com> | 2014-10-16 23:26:09 -0400 |
commit | c7524d61b93c751e90568789330a2de7cfae53be (patch) | |
tree | 3a7f7075dfd73ae2c6cf928665633ef85e17a9c2 /.gitignore | |
parent | b26cda84e05d4523eee069234a975a0153bf8608 (diff) | |
parent | 7d0990b52cd757f15d190c1fee122f262c4731a7 (diff) |
Merge pull request #58 from kho/xml
Add --show_derivations_mask to control what to print when --show_derivations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions