Clean more after merge
Description
Description
Details
Details
- Committed
aubort Feb 28 2017, 15:42 - Pushed
aubort Feb 28 2017, 15:48 - Parents
- rPHa92b8622ef0b: remove useless merge stuff
- Branches
- Unknown
- Tags
Clean more after merge
Clean more after merge
Authored by aubort on Feb 28 2017, 15:42.
Tags
None
Subscribers
None