Fix up the gitignor and bring in the ragel manual for safe keeping.

9 months ago · f946d46936
parent 2f8c9bd1a9
commit f946d46936
2 changed files with 9970 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -25,3 +25,5 @@ ttassets
 backup
 *.exe
 *.dll
+*.world
+coverage
--- a/docs/ragel-guide-6.6.pdf
+++ b/docs/ragel-guide-6.6.pdf