Merge branch 'nemanjan00-patch-1' into boot

linuxboot · May 21, 2018 · ef8214f · ef8214f
2 parents 0916246 + 62a3584
commit ef8214f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Building.md b/Building.md
@@ -23,6 +23,7 @@ apt install -y \
 	patch \
 	python \
 	wget \
+	gnat
 ```
 
 On a Fedora machine: