Did you know ... Search Documentation:
GIT commit info
Merge branch 'wiki' of ops:/home/swipl/src/plweb/www
authorJan Wielemaker
Mon Apr 24 13:16:28 2017 +0200
committerJan Wielemaker
Mon Apr 24 13:16:28 2017 +0200
commitebfb3caa0570051cda5ea42b6868fb5acd04d38e
tree0d6d23090955367ff77a6c385f7ff5395b890ec4
parent4db543f4703a3f0e0563aafa66be8490c327f1c2 5a6debec1c3b4646af16f0efd6e73d830971b002
Diff style: stat patch
 build/Debian.txt | 3 +++
 howto/Pack.txt   | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)