tree: b09838a25b165cccf39d31882971ab0a1012e1db [path history] [tgz]
  1. Config.in
  2. swipl.hash
  3. swipl.mk