summaryrefslogtreecommitdiff
path: root/monitor-menu.py
AgeCommit message (Collapse)Author
2018-11-23Use list.extend instead of operator +=Olivier Gayot
The difference between list.extend and list.operator+= is that the later creates a new object while the former mutates the original object in place. Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>
2018-07-04Added basics for the script to runOlivier Gayot
Signed-off-by: Olivier Gayot <olivier.gayot@sigexec.com>