# HG changeset patch # User Adam Chlipala # Date 1381934483 14400 # Node ID a8377999fcf9baccab062a585afce668f5e9a83b # Parent ffe99c02fa18b73f091e784109e680503db51030 Link to Robby Findler's class diff -r ffe99c02fa18 -r a8377999fcf9 staging/index.html --- a/staging/index.html Tue Oct 15 08:36:24 2013 -0400 +++ b/staging/index.html Wed Oct 16 10:41:23 2013 -0400 @@ -35,6 +35,7 @@

Used by: