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 | |
| parent | c996eaabb66e2ca4b1b9e16c65dc1d063f96383a (diff) | |
removed a done item from readme todo
| -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. |