diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-10-30 12:07:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-30 12:07:54 -0500 |
| commit | 850457028a92e73cfecf93996b99a7ee518ec4ef (patch) | |
| tree | 37ef82fabcf939a414fd51374ace1a7e73f2f056 /src/codegen/mod.rs | |
| parent | 604965a58b69e7c3d1b4d38dcd9f75d95cd4363c (diff) | |
| parent | 69d85b56129d1be2b5eff1f53c02caa48470d7f9 (diff) | |
Auto merge of #170 - jeanphilippeD:doc01, r=emilio
Add CI build command line in contributing
Diffstat (limited to 'src/codegen/mod.rs')
0 files changed, 0 insertions, 0 deletions