corrected comment
Description
Description
Details
Details
- Provenance
hej Authored on Jul 4 2019, 3:28 PM hej Pushed on Jan 14 2021, 6:07 PM - Parents
- rHEJ078333dfd209: Document renaming `is_HEJ` -> `is_resummable`
- Branches
- Unknown
- Tags
corrected comment Tags None Subscribers None
Description
Details
|