greg/mentat
1
0
Fork 0
Code Issues 294 Pull requests Projects Releases 9 Packages Wiki Activity

lint #3

Merged
gburd merged 2 commits from gburd/learning-by-linting into master 2020-01-31 18:59:39 +00:00
Conversation 0 Commits 2 Files changed 52 +762 -621

2 commits

Author SHA1 Message Date
Greg Burd
6b7343a893 Tweak CI/Travis config. 2020-01-31 13:25:00 -05:00
Greg Burd
4f81c4e15b Attempting to cleanup with clippy, rustfmt, etc. 
Integrate https://github.com/mozilla/mentat/pull/806
 2020-01-31 10:55:45 -05:00