hints: remove unused hints.js.h file
authorPatrick Steinhardt <ps@pks.im>
Sat, 20 May 2017 08:42:40 +0000 (10:42 +0200)
committerPatrick Steinhardt <ps@pks.im>
Sat, 20 May 2017 08:42:40 +0000 (10:42 +0200)
commit99f5a141bb26c771d18f238260f1b7d00e7b3447
tree0c762757b7cb491498922731dbe953d2e254e656
parent34233193cba4bf1b0e91f3210660e20fc58e0be8
hints: remove unused hints.js.h file

The "hints.js.h" file has been superseded by "scripts.h", which is
generated by make from our JavaScript and CSS files. As such, we can
remove the unused "hints.js.h" file and remove the include from
"hints.c".
src/hints.c
src/hints.js.h [deleted file]