Minor BUILD.md fix (#565)
authorebraminio <ebrahim@gnu.org>
Thu, 12 Oct 2017 11:45:49 +0000 (15:15 +0330)
committerBehdad Esfahbod <behdad@behdad.org>
Thu, 12 Oct 2017 11:45:49 +0000 (13:45 +0200)
commit6bac4ac2bebb612debecc8ec10b845e977c0afe1
tree191200c5f680ed6f0ccf455b28d6b1879d4e3f83
parent8923033eb2dab75e9361e9ea1333deb1213393ce
Minor BUILD.md fix (#565)
BUILD.md