diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-10 18:29:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:55:45 +0200 |
| commit | 973b6c69f0861c113f7bd5b94604d2497520a334 (patch) | |
| tree | 9c56073db17f918ff826900252377c56d2c7592e /.gitignore | |
| parent | c2249c3b4c3387a3c8510e68fc447274d7299695 (diff) | |
Adding a target check-beautify for testing reparsability of
beautification of the standard library.
Currently not intrusive but needs two extra phases of compilation.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
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 |