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

8 commits

Author SHA1 Message Date
0c9934038c
feature-cli: fix typo 2021-06-10 20:11:53 +01:00
cfd087d919
Add MPL 2.0 short header to core code files 2020-09-23 23:22:39 +01:00
5ba0fce2ff
feature-cli: remove need for quotes when using php index.php exec .... 2020-04-22 00:33:53 +01:00
f72062332a
feature-cli: fix version subcommand 2020-04-21 23:07:43 +01:00
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