Timeline
Parents and children of check-in [7777a863d7]
|
2017-02-23
| ||
| 22:12 | Relabel record option tabs to options/meta/network; regroup flags roughly. Add more options for wget and youtube-dl. check-in: e6fe0f52d5 user: mario tags: trunk | |
|
2017-02-21
| ||
| 23:48 | Remove verbose config: option, reclassify some record tool options. check-in: 7777a863d7 user: mario tags: trunk | |
| 23:22 | Add notebook tabs for recordflags plugin. Instead of filtering them, distribute options into notebook tabs "_cfg", "_extra", or "_verbose". check-in: cbec1b81a6 user: mario tags: trunk | |