9 Sep
2011
9 Sep
'11
10:56 p.m.
2011/9/9 Frédéric Delanoy frederic.delanoy@gmail.com
Patch is OK, but for consistency, shouldn't the externals be put at the start of wcmdmain.c, just after the inbuilt[][]10]? This way, you could see directly which command is built-in, and which is external.
+ make it static const, since it's not used outside of builtins.c.
Octavian