From 37887abfd48ad9cfb0e0b7568be9ae7e285770be Mon Sep 17 00:00:00 2001 From: ccd0 Date: Wed, 19 Mar 2014 16:04:23 -0700 Subject: clarify license information --- playersettings.js | 1 + 1 file changed, 1 insertion(+) (limited to 'playersettings.js') diff --git a/playersettings.js b/playersettings.js index 8d9a8d20..861d27c2 100644 --- a/playersettings.js +++ b/playersettings.js @@ -1,3 +1,4 @@ +/* This file is dedicated to the public domain; you may do as you wish with it. */ if (window.addEventListener) window.addEventListener("load", function(e) { document.getElementById("playerheader").appendChild(settingsMenu); -- cgit v1.3