4 Commits

Author	SHA1	Message	Date
Sander van Dijk	5dfffa855b	new wmiimenu, reads a list of newline-separated items from stdin, ... and prints the user's selection on stdout. It seems to behave pretty well, but some of the code definitaly needs a beauty makeover, I'll do that ASAP.	2006-02-10 23:57:21 +01:00
gn	a6b98d2c42	s/wmi/wmii/ and the like	2005-12-18 17:55:06 +02:00
garbeam	7475073c47	fixed occurences of various old-style named commands in man pages and source	2005-12-12 16:16:23 +02:00
garbeam	f53b8d61ef	renamed all wmi* prefixed tools into wmii* prefixed ones to prevent further confusion	2005-12-12 16:08:16 +02:00