diff options
author | Yuchen Pei <hi@ypei.me> | 2022-10-05 12:36:12 +1100 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-10-05 12:36:12 +1100 |
commit | ce75ad3d0536779e6d6f42d0fef07120b288eb2c (patch) | |
tree | 7ba573b623d741899ec1f2ffccb4cae214297d5e /README.org | |
parent | c996eaabb66e2ca4b1b9e16c65dc1d063f96383a (diff) |
removed a done item from readme todo
Diffstat (limited to 'README.org')
-rw-r--r-- | README.org | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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. |