diff options
| author | NateN1222 <nathannichols454@gmail.com> | 2017-10-08 11:56:30 -0500 |
|---|---|---|
| committer | NateN1222 <nathannichols454@gmail.com> | 2017-10-08 11:56:30 -0500 |
| commit | 856eb0c7249335e1a86237b4f58ef4989c9443b4 (patch) | |
| tree | 7355e46486bfa65c5c5a3d354da9105e54a0d94f /.gitignore | |
| parent | 10d79a38013a174f7408e8c98b3ed05b468ae914 (diff) | |
partially implemented full triviality test
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions