diff options
author | Miles Bader <miles@gnu.org> | 1997-02-05 16:34:55 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-02-05 16:34:55 +0000 |
commit | 21e814e1c003c1d6e54b91cf84f4008849581378 (patch) | |
tree | ef233b4286e731cfab465f1d1b44b852b2f9aeee /pfinet | |
parent | abe0d647a788b92462857811611fa4a69f2922fd (diff) |
(check_hashbang):
`preempter' -> `preemptor'.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions