From 731f9beadf154cc5dd417c36d072b3a38d5e0ea4 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Tue, 22 Oct 2013 22:50:52 +0200
Subject: [PATCH] lib.sh: Minor cleanup.

---
 lib.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib.sh b/lib.sh
index 7bb1d5c..bdb7487 100644
--- a/lib.sh
+++ b/lib.sh
@@ -105,11 +105,13 @@ simple_cpp() {
 }
 
 # Print the current OS. The following OS are supported at the moment:
+#
 # - Debian (debian)
 # - Gentoo (gentoo)
 # - Mac OS X (darwin)
 # - Solaris/OpenSolaris (sun)
 # - FreeBSD (freebsd)
+#
 # If an unsupported OS is used an error is printed.
 os() {
     if test -f /etc/debian_version; then
-- 
2.43.2