diff options
| author | Eduardo Chappa <chappa@washington.edu> | 2018-04-19 20:44:25 -0600 |
|---|---|---|
| committer | Eduardo Chappa <chappa@washington.edu> | 2018-04-19 20:44:25 -0600 |
| commit | 5ac14c41871d6e9b4bab20d57fe6398733a96911 (patch) | |
| tree | aac594dfd7965c0c5342d3b927d44d984094ac26 /pith/user.h | |
| parent | e82db24ddfdbc3f72ac020e9713ea02184d20b6f (diff) | |
| download | alpine-5ac14c41871d6e9b4bab20d57fe6398733a96911.tar.xz | |
* Replace body.c by body.obj in pith/makefile.wnt to fix
compilation error. Reported by Ulf-Dietrich Braumann.
Diffstat (limited to 'pith/user.h')
0 files changed, 0 insertions, 0 deletions