diff options
Diffstat (limited to 'page.js')
| -rw-r--r-- | page.js | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -1,3 +1,3 @@  (function() { -	document.getElementById('header').innerHTML = generate_file_string(); +	document.getElementById('header').textContent = generate_file_string();  })();
\ No newline at end of file | 
