Update a comment in Mines to reflect that we have user prefs now

This commit is contained in:
Ben Harris
2023-06-05 22:34:08 +01:00
parent 7333d27b0c
commit b08c13f5f4

View File

@ -3,8 +3,7 @@
* *
* Still TODO: * Still TODO:
* *
* - think about configurably supporting question marks. Once, * - think about configurably supporting question marks.
* that is, we've thought about configurability in general!
*/ */
#include <stdio.h> #include <stdio.h>