Did you know ... Search Documentation:
GIT commit info
Merge branch 'wiki' of ops:/home/swipl/src/plweb/www
authorJan Wielemaker
Tue Oct 16 08:43:36 2018 +0200
committerJan Wielemaker
Tue Oct 16 08:43:36 2018 +0200
commitb010f2dd16068bd486c230c4ccdad773c7d22477
tree6caefc854dc674fcb8da47191eba58409ed8115f
parente0377f3cbee0ca19bc27cec73c6c854b3aa95c8d 9f8d478c5a362ad9eed390d4fb1d5e10789fce35
Diff style: stat patch
 build/Debian.txt | 1 +
 1 file changed, 1 insertion(+)