pintos-os.org Git - pspp/commit

author	John Darrington <john@darrington.wattle.id.au>
	Wed, 5 Jun 2013 10:33:11 +0000 (12:33 +0200)
committer	John Darrington <john@darrington.wattle.id.au>
	Mon, 17 Jun 2013 06:24:04 +0000 (08:24 +0200)
commit	fe7fdc98b6967092d02a98227080865e0c8e22ec
tree	a62cd1f71407280c5343c42afa55d69689fedd15	tree \| snapshot
parent	f40af9b1dd568dc07c107a9059c287e92ca8d01c	commit \| diff

Minor additions and updates to the meta documentation

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