| commit | 14631cd03338d3c828438e98c1c7e89985e192a3 | [log] [tgz] |
|---|---|---|
| author | Kevin Moore <kevmoo@google.com> | Sat Mar 10 16:50:41 2018 -0800 |
| committer | Kevin Moore <kevmoo@users.noreply.github.com> | Sat Mar 10 17:03:56 2018 -0800 |
| tree | 2feed11d451cdc1b6e0703e3b363f88cf5b3bfc4 | |
| parent | 1addd86b717b6bfc92931d9e73b685268c301585 [diff] |
Enable Travis, rename analysis_options, update .gitignore