Did you know ... Search Documentation:
GIT commit info
update link to ediprolog
authorMarkus Triska
Mon Oct 15 19:04:19 2018 +0200
committerJan Wielemaker
Tue Oct 16 08:43:01 2018 +0200
commite0377f3cbee0ca19bc27cec73c6c854b3aa95c8d
tree4e47e401b4378de6bb2f8e5b0556c4c8d307b597
parent92365dbea30dcd4b86b9705e7e97736c1d4fbe7b
Diff style: stat patch
 students/index.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)