From e304840fb6010a7a7840b7c6a7e36db6cd72202b Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 29 Oct 2018 17:13:25 -0700 Subject: [PATCH] hist --- pollen/private/manual-history.rkt | 2 +- pollen/private/ts.rktd | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pollen/private/manual-history.rkt b/pollen/private/manual-history.rkt index 67c5467..f038e0c 100644 --- a/pollen/private/manual-history.rkt +++ b/pollen/private/manual-history.rkt @@ -10,7 +10,7 @@ #| Need this to make pollen docs buildable on v6.0. -`history` not added to scribble/manul till v6.1. +`history` not added to scribble/manual till v6.1. |# (provide pollen-history) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index c84f191..1fe6c4a 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1540858400 +1540858405