Skip to content

Changes

Summary

  1. Fix uncomment cf. Chris's remark (details)
Commit 6dfbaddd1936bf3d1ca03d631572c62b7ed6b862 by p.walczysko
Fix uncomment cf. Chris's remark
The file was modified index.html (diff)