diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2018-02-04 12:14:38 -0500 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2018-02-06 12:07:59 -0500 |
| commit | b50ae9a99c46acf40d1c47c2e0ef6947fefbc044 (patch) | |
| tree | 77b9a1114a4a08fd3340b59f2f4bd3ee58b4210c /src/app.rs | |
| parent | 224c112e0509ab2aeb28de05efbbce9486a55eff (diff) | |
ci: cleanup
This cleans up our CI scripts but doesn't significantly change anything.
Mostly this is removing dead code and wrong comments, and making the style
a bit more consistent.
Diffstat (limited to 'src/app.rs')
0 files changed, 0 insertions, 0 deletions