pintos-os.org Git - pspp/search

2009-08-31	Stefano Lattarini	Fix test whether $CONFIG_SHELL has a working 'echo...	commit \| commitdiff \| tree

Unnamed repository; edit this file to name it for gitweb.