Remove a TODO from README

idris-community · Aug 24, 2023 · c9350e4 · c9350e4
1 parent 3ceb315
commit c9350e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -5,7 +5,7 @@ Language Server for Idris2.
 
 ## Installation with [Pack](https://github.com/stefan-hoeck/idris2-pack) (Recommended)
 ```bash
-pack install-app idris2-lsp # TODO: upload this to pack. Does pack automatically install lsp-lib as a dependency?
+pack install-app idris2-lsp
 ```
 
 ## Manual Installation