diff src/ChangeLog.9 @ 108736:a9f1ce208572

Revert previous change. I misunderstood EXEEXT (I don't think it can be working though).
author Glenn Morris <rgm@gnu.org>
date Thu, 20 May 2010 18:39:21 -0700
parents 0eb2f9d5e474
children e6408c088fbc
line wrap: on
line diff