4 Commits (fed916bf8d774e0f1c678f18dc7e5e2cb8242162)

Author	SHA1	Message	Date
Petr Mrázek	3a67a4d3c7	Added linenoise library to allow line editing in the terminal.	2011-07-12 12:13:14 +02:00
Petr Mrázek	b1d4163095	Fixed prospector, added the command list back, removed the plugin init console spam.	2011-06-27 04:49:56 +02:00
Petr Mrázek	0bb097296a	Prospector prints text again. Plugin lookup is better (ignores more non-library files)	2011-06-24 02:48:56 +02:00
Petr Mrázek	b41ab40bb6	Prospector plugin tool thing. How to pass them parameters?	2011-06-20 05:08:21 +02:00