diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-07-05 11:25:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 11:25:54 -0700 |
| commit | 607b5bd5cd0aac4bf2f7ba1d87875c8e9dd71a20 (patch) | |
| tree | 147aa8b33e4ce9cc406cc1cde5b8c9057a2dc792 /tests/headers/convert-cpp-comment-to-rust.hpp | |
| parent | 8f756be1ac0feb5338ebeedb987f48de02e6a1ff (diff) | |
| parent | 9b4bd6bff754e6b654f85fc676288ff660dbc6b3 (diff) | |
Auto merge of #786 - emilio:mdbook-ci, r=fitzgen
Pin the mdbook version for CI.
Fixes #779.
Diffstat (limited to 'tests/headers/convert-cpp-comment-to-rust.hpp')
0 files changed, 0 insertions, 0 deletions