comparison msdos/sed1v2.inp @ 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 c554bb2aba83
children a8af6d66bbd0
comparison
equal deleted inserted replaced
108735:b8ff723fdfdd 108736:a9f1ce208572