Changes adopted from version 0.5

2023-02-13 10:42:09 +01:00
parent faf5f368f5
commit 76ccecca7f
198 changed files with 10261 additions and 5068 deletions
@@ -0,0 +1,3 @@
+	function changetext(id,newtext) {
+		document.getElementById(id).innerHTML=newtext
+	}