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/mapped-time.h | |
| parent | abe0d647a788b92462857811611fa4a69f2922fd (diff) | |
(check_hashbang):
`preempter' -> `preemptor'.
Diffstat (limited to 'pfinet/mapped-time.h')
0 files changed, 0 insertions, 0 deletions