mini.build 105 B

123456
  1. in "mini-support-patch.red"$
  2. in "mini-support.red"$
  3. in "mini-support.fix"$
  4. global '(PNAM);
  5. in "mini.sl"$