Andreas Rumpf ac7acd827c we need something better than warningAsError for effect handling viol… (#18796) vor 3 Jahren
..
foo.idx 2f610d621f Use the correct HTML file reference in "nim doc" generated idx files (#11326) vor 5 Jahren
index.html ac7acd827c we need something better than warningAsError for effect handling viol… (#18796) vor 3 Jahren
theindex.html 51ab7ccec1 Fix JS error on index page and detect dark mode (#18191) vor 3 Jahren