Andrew Gallant 8ba6ccd159 ignore: fix failing test ...

This fixes fallout from fixing #1520.

2020-03-16 19:16:24 -04:00

..

default_types.rs

ignore/types: add coq type

2020-02-28 19:11:29 -05:00

dir.rs

ignore: fix failing test

2020-03-16 19:16:24 -04:00

gitignore.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

lib.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

overrides.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

pathutil.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

types.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

walk.rs

ignore: another simplification

2020-02-20 17:26:34 -05:00