From ce75ad3d0536779e6d6f42d0fef07120b288eb2c Mon Sep 17 00:00:00 2001
From: Yuchen Pei <hi@ypei.me>
Date: Wed, 5 Oct 2022 12:36:12 +1100
Subject: removed a done item from readme todo

---
 README.org | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.org b/README.org
index 6a5b277..6396fb2 100644
--- a/README.org
+++ b/README.org
@@ -60,7 +60,6 @@ There are several entry points:
 
 Most of these TODOs likely require changes to the server program.
 
-- Navigation between identifiers within the help buffer.
 - Awareness of all modules exporting an identifier (like hoogle)
 - Requesting server to index a new package, or re-index an updated
   one.
-- 
cgit v1.2.3