From 973b6c69f0861c113f7bd5b94604d2497520a334 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 10 Apr 2016 18:29:29 +0200
Subject: Adding a target check-beautify for testing reparsability of
 beautification of the standard library.

Currently not intrusive but needs two extra phases of compilation.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index b50bca3cf..2e5c74c3d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,8 @@
 *.v.html
 *.stamp
 *.native
+*.beautified
+*.backup
 revision
 TAGS
 .DS_Store
-- 
cgit v1.2.3