diff options
| author | Melody Horn <melody@boringcactus.com> | 2021-04-04 15:17:12 -0600 |
|---|---|---|
| committer | Melody Horn <melody@boringcactus.com> | 2021-04-04 15:17:12 -0600 |
| commit | 050a3b166123be17c8dfdbd47e1b439040101884 (patch) | |
| tree | 412642ec257792972868d8638ef023a1caf32682 /.milli-ci | |
| parent | 8d990bbdcb51a97b3f9430f57f947507b138b488 (diff) | |
| download | makers-050a3b166123be17c8dfdbd47e1b439040101884.tar.gz makers-050a3b166123be17c8dfdbd47e1b439040101884.zip | |
don't assume something's an inference rule unless it's on the suffix list
Diffstat (limited to '.milli-ci')
0 files changed, 0 insertions, 0 deletions