Matthias Kretschmann 866e504a82 toc.js: fix wrong link being highlighted when page length changes dynamically ... - from https://github.com/jgallen23/toc/pull/48		2016-03-12 19:25:24 +01:00
..
js	toc.js: fix wrong link being highlighted when page length changes dynamically	2016-03-12 19:25:24 +01:00
less	switch to local copy of toc.js	2016-03-12 19:20:00 +01:00