diff src/unexhp9k800.c @ 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 ddedcecb18ef
children 99084f50aa8e
line wrap: on
line diff