ignore more

6 years ago · e14c9abaa2
parent 117ddb9753
commit e14c9abaa2
2 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -22,3 +22,4 @@ scribblings/*.css
 scribblings/*.html
 scribblings/pollen/*
 doc/*
+pollen/doc/*
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@ -1 +1 @@
-1542913104
+1542915167