Kazhnuz 8d67ea49a0 improvement: use a custom tab system ... Fix #116		2020-10-12 23:50:23 +02:00
..
tabs.js	improvement: use a custom tab system	2020-10-12 23:50:23 +02:00