implemented #48: abbreviate commands

1 files changed, 1 insertions, 1 deletions

diff --git a/TODO b/TODO
index 8d8b65f5..efa27548 100644
--- a/TODO
+++ b/TODO
@@ -35,7 +35,7 @@ General
    (X) #43  10/01/18  internally treat the bookmarks ` and ' the same
    ( ) #44  10/01/18  more error messages :P
    ( ) #47  10/01/19  less restricive auto preview
-   ( ) #48  10/01/19  abbreviate commands with first unambiguous substring
+   (X) #48  10/01/19  abbreviate commands with first unambiguous substring
 
 
 Bugs