| commit | dc260516c3d1db1348bd2fe51721e29e21b079c9 | [log] [tgz] |
|---|---|---|
| author | Eli Bendersky <eliben@gmail.com> | Tue Oct 27 13:42:31 2020 |
| committer | Eli Bendersky <eliben@gmail.com> | Tue Oct 27 13:42:31 2020 |
| tree | 36e21f1819bad547af0ebc826f3c3388b4a55bce | |
| parent | ba73057e2503fe4b6f44eb0e9c1d5a747a235628 [diff] |
remove dir that shouldn't be in git