On Fri, Jul 20, 2012 at 9:48 AM, Eli Barzilay <e...@barzilay.org> wrote: > Two hours ago, Robby Findler wrote: >> Just to clarify: the props script is now useless to as a mechanism >> for actually setting properties, since the output is always the >> below, no matter of the arguments. > > It was an attempt to make it verify the properties that drdr will > run. I switched the strategy that is used for that now. > > (As a side note, this changed happened a good while ago -- it confirms > my guess that most people just edit the file directly...)
Well, I've learned my lesson, certainly. Robby _________________________ Racket Developers list: http://lists.racket-lang.org/dev