diff options
author | 2015-09-23 03:54:37 -0700 | |
---|---|---|
committer | 2015-09-23 03:54:37 -0700 | |
commit | e56054fce562213ef34ed6a3d99b0cb036c2bf23 (patch) | |
tree | 0982717944337d7f9ec5e5e2c3ac11012068bc16 /Test/triggers/auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy | |
parent | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (diff) |
Fixed typo in INSTALL file
Diffstat (limited to 'Test/triggers/auto-triggers-fix-an-issue-listed-in-the-ironclad-notebook.dfy')
0 files changed, 0 insertions, 0 deletions