[racket-dev] overwrite

It's from git touching the files and giving them a new timestamp. It
probably didn't really change.

Jay

2011/2/26 Matthias Felleisen <matthias at ccs.neu.edu>:
>
> When I use drracket, I frequently get a warning that my file has been modified on disk and the question of whether I want to save the file or revert. Is anyone else suffering from this problem?
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93