Did you know ... Search Documentation:
GIT commit info
Updates (notably tabling)
authorJan Wielemaker
Fri Jun 16 11:03:54 2017 +0200
committerWiki manager
Fri Jun 16 11:03:54 2017 +0200
commit843f7a29f27834272e3ef4b0cd403477bd92b002
tree91d8b450db431cc4bf8f37056974c68a0215f4d5
parent8168a27b78ee020d2f60ec5bf8f990b282109fa4
Diff style: stat patch
 Contributors.txt | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)