diff options
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -16,6 +16,7 @@ *.cp *.fn *.ky +*.cps *.log *.pdf *.html @@ -29,3 +30,5 @@ lexer.ml rustboot rustc TAGS +version.ml +version.texi |
| index : rust | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 3 |
@@ -16,6 +16,7 @@ *.cp *.fn *.ky +*.cps *.log *.pdf *.html @@ -29,3 +30,5 @@ lexer.ml rustboot rustc TAGS +version.ml +version.texi |