add default_spec option
Showing
- rr_frontend/radium/src/specs.rs 2 additions, 0 deletionsrr_frontend/radium/src/specs.rs
- rr_frontend/translation/src/body/signature.rs 35 additions, 26 deletionsrr_frontend/translation/src/body/signature.rs
- rr_frontend/translation/src/lib.rs 3 additions, 3 deletionsrr_frontend/translation/src/lib.rs
Loading
Please register or sign in to comment