From e14c9abaa233a9f3ccdfc547589051172486e88f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 22 Nov 2018 11:32:47 -0800 Subject: [PATCH] ignore more --- .gitignore | 1 + pollen/private/ts.rktd | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index ddfeac3..819cc60 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,4 @@ scribblings/*.css scribblings/*.html scribblings/pollen/* doc/* +pollen/doc/* diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 714af02..2304d81 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1542913104 +1542915167