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 /build.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 'build.rs')
0 files changed, 0 insertions, 0 deletions