Removing extraneous whitespace

This commit is contained in:
Brendan Hay 2015-03-24 16:26:41 +01:00
parent a7f952133d
commit 991780c6cc

View File

@ -742,7 +742,7 @@ packages:
"Oleg Grenrus oleg.grenrus@iki.fi @phadej":
- waitra
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- gitrev