merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE1d0d6a3a3eb9: tuned attributes to avoid looping
rISABELLEd14918fcbd37: tuned text; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- d14918fcbd37 tuned text;Author