Romuald Thion 825ee6b389 Update todo.plugin.bash : alias now uses $TODO ... To answer issue #1693		2020-10-30 09:10:06 +01:00
..
available	Update todo.plugin.bash : alias now uses $TODO	2020-10-30 09:10:06 +01:00