Timeline
Parents and children of check-in [1306bc3c6c]
2016-10-22
| ||
19:00 | Set "instant activation" option background yellow instead of orange. check-in: 6c2f0c5c09 user: mario tags: trunk | |
18:59 | - check-in: 1306bc3c6c user: mario tags: trunk | |
18:59 | Remove default specbuttons{} entry. check-in: 54297a5913 user: mario tags: trunk | |