Clarify output_path and friends.

softdevteam / grmtools

Rust grammar tool libraries and binaries

Other

507 stars 31 forks source link

Closed ltratt closed 2 years ago

ltratt commented 2 years ago

This is really further follow-up to #270. Some of the details in this commit are things I'd forgotten myself!

ptersilie commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded: