From d3135a69f653034f07b7657486f926a7a20ef3ee Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 1 Jun 2017 23:59:55 -0400
Subject: Strip trailing whitespace

With
```bash
bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh
```
---
 LICENSE | 1 -
 1 file changed, 1 deletion(-)

(limited to 'LICENSE')

diff --git a/LICENSE b/LICENSE
index 191fe6c04..d2edc96ea 100644
--- a/LICENSE
+++ b/LICENSE
@@ -19,4 +19,3 @@ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 SOFTWARE.
-
-- 
cgit v1.2.3