Did you know ... Search Documentation:
GIT commit info
Merge branch 'master' of https://github.com/SWI-Prolog/plweb-www into wiki
authorWiki manager
Fri Feb 10 13:21:40 2017 +0100
committerWiki manager
Fri Feb 10 13:21:40 2017 +0100
commitd30e084e82ffa73a60757bd120f14c201eb55756
tree8a6925684d391eb8e27784ccac6b000c35c8f922
parent9eb2c1b14794541e07b59d8d4725076f7b72aa2f b7b3d98981545a9f0487c10f971118ef1a235cbf
Diff style: stat patch
 build/Redhat.txt          | 11 ++++++-----
 build/issues/editline.txt |  3 +++
 2 files changed, 9 insertions(+), 5 deletions(-)