Wolf Honore 227436624f ignore/types: add coq type ...

PR #1504

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

..

default_types.rs

ignore/types: add coq type

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

dir.rs

repo: move all source code in crates directory

2020-02-17 19:24:53 -05: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