pintos-os.org Git - pspp/history

2016-03-18	John Darrington	Added a "meta" file, explaining administrative procedur...	blob \| commitdiff \| raw

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