fixes to rt.gnu.org weblabels ; added jquery
authorAndrew Engelbrecht <andrew@fsf.org>
Wed, 17 May 2017 20:59:47 +0000 (16:59 -0400)
committerAndrew Engelbrecht <andrew@fsf.org>
Wed, 17 May 2017 20:59:47 +0000 (16:59 -0400)
commitae214d84aa8feaf34cec1aa55f371a09f2db701f
treee1e30c88cdd10e45b4d4887f90dbd0027701be35
parentad9d43cbad57ea8abc5f70b93f5f039b709ced6f
fixes to rt.gnu.org weblabels ; added jquery
rt.gnu.org/CURRENT/files/etc/jquery-1.9.1.js [new file with mode: 0644]
rt.gnu.org/CURRENT/index.html