web: Add more base extensions to publish (for JS and fonts).
authorMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Thu, 11 May 2017 14:09:01 +0000 (16:09 +0200)
committerMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Thu, 11 May 2017 14:09:27 +0000 (16:09 +0200)
commit3256e98b3f821e8d49051216942d631e70dfe0fc
tree2715513088e981111a361d3d29714bd9bc4cd23b
parent7d83421c2406bf59d91a7a42074f9eaca27f82be
web: Add more base extensions to publish (for JS and fonts).
web/share/gpgweb.el