Use mkws.log instead of console.log in the code that sets window.name,
[mkws-moved-to-github.git] / tools / sp-htdocs /
drwxr-xr-x   ..
-rw-r--r-- 136 index.html