Re: [racket-dev] redex.racket-lang.org Index of /

2012-07-08 Thread Robby Findler
Eli: while you're at this, can you improve the watchdog script so that it would notice this? Robby On Sun, Jul 8, 2012 at 12:35 PM, David Van Horn wrote: > redex.racket-lang.org seems to have reverted to serving the index of /. > > David > _ > Racket Developers list: >

[racket-dev] redex.racket-lang.org Index of /

2012-07-08 Thread David Van Horn
redex.racket-lang.org seems to have reverted to serving the index of /. David _ Racket Developers list: http://lists.racket-lang.org/dev