1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-12-27 03:14:56 +00:00
Commit graph

4 commits

Author SHA1 Message Date
f2561d8cb0
Squash more bugs in feature-cli and populate readline history 2020-03-15 17:19:16 +00:00
6cfd60b765
feature-search: add search rebuild shell command 2020-03-11 23:07:38 +00:00
96ee24dc61
feature-cli: message formatting tweaks 2020-03-10 01:51:17 +00:00
fa81f0df25
Implement basic Pepperminty Wiki CLI & shell :D
The BkTree tester gave me the idea.

No longer will you have to hope that search indexing will complete in 
time and adjust the maximum execution time for larger wikis..... when 
that's implemented.
2020-03-10 01:47:40 +00:00