diff --git a/TODO.txt b/TODO.txt index a6ba66e2d562074a6b9a526d48a99fba78168333_VE9ETy50eHQ=..5cca4d3119f690b37b47db703057b4b8000d5acf_VE9ETy50eHQ= 100644 --- a/TODO.txt +++ b/TODO.txt @@ -1,10 +1,3 @@ - -→ „Priority†option to signal that some path is to win .hg/hgrc - (some specific path) - - bibi.prioritize = True - - or sth like that → Allow to use the same alias multiple times (for various trees). Maybe