Did you know ... Search Documentation:
GIT commit info
Style for github links
authorJan Wielemaker
Sat Jun 18 18:13:17 2022 +0200
committerJan Wielemaker
Sat Jun 18 18:13:17 2022 +0200
commit065a0c77c26c3f488a4f52c31417959fde91b404
tree3b5d124e6b559246cd5906d1908d7137d13fb804
parent6eb3b4d431fc32fecbd0ca9253516737a7b4206c
Diff style: stat patch
 css/swipl.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)