* Replace body.c by body.obj in pith/makefile.wnt to fix
commit5ac14c41871d6e9b4bab20d57fe6398733a96911
authorEduardo Chappa <chappa@washington.edu>
Fri, 20 Apr 2018 02:44:25 +0000 (19 20:44 -0600)
committerEduardo Chappa <chappa@washington.edu>
Fri, 20 Apr 2018 02:44:25 +0000 (19 20:44 -0600)
treeaac594dfd7965c0c5342d3b927d44d984094ac26
parente82db24ddfdbc3f72ac020e9713ea02184d20b6f
   * Replace body.c by body.obj in pith/makefile.wnt to fix
     compilation error. Reported by Ulf-Dietrich Braumann.
pith/makefile.wnt