diff options
| author | Jason Gross | 2021-03-26 13:26:49 -0400 |
|---|---|---|
| committer | Jason Gross | 2021-03-26 13:26:49 -0400 |
| commit | cc2267634bb0ebec11dcf240a3099ee3a1adb006 (patch) | |
| tree | 6b704830d5e0c7676b51c183d9cbe932b18bc320 /plugins/ltac/rewrite.ml | |
| parent | 7e5dc9f830bc2cdbc3b8cc8b830adafc61660055 (diff) | |
Add non-performance-based test
Diffstat (limited to 'plugins/ltac/rewrite.ml')
0 files changed, 0 insertions, 0 deletions