From: Friedrich Beckmann <friedrich.beckmann@gmx.de>
Date: Sun, 10 Sep 2017 12:11:45 +0000 (+0200)
Subject: Revert "GNU/Linux installation/update - Use GNU/Linux wording - Remove Ubuntu"
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=57bf177aeada4ebc2b7ef0701c454cdeb064d652;hp=57bf177aeada4ebc2b7ef0701c454cdeb064d652;p=pspp

Revert "GNU/Linux installation/update - Use GNU/Linux wording - Remove Ubuntu"

This reverts commit 3d183ce2adfc32a104c91baa3ab5909d6f7afaa1.
---