convert spoiler filenames into deobfuscation filenames

2024-07-01 01:02:40 -07:00
1 parent 3aec80f057
commit 85c991620f
@@ -39,7 +39,7 @@
 	    "OK_to_edit" : false,
 	    "display_as" : "html",
 	    "display_via_github" : false,
-	    "entry_text" : "author supplied spoiler"
+	    "entry_text" : "author supplied debofuscation information"
 	},
 	{
 	    "file_path" : "primes.pl",