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