remove old/unused stuff in third-party
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Dec 2013 11:28:10 +0000 (12:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Dec 2013 11:28:10 +0000 (12:28 +0100)
commit5da6b6c445f3155957d45e42e133c19bbee678fe
treeca8fcb45c3bf4af57b070c6f674694dc6e8c63b2
parent46d9f7ffb128d6859e936f847f3b28279556b735
remove old/unused stuff in third-party
22 files changed:
third-party/bootstrap-3.0.0/css/bootstrap-theme.css [deleted file]
third-party/bootstrap-3.0.0/css/bootstrap-theme.min.css [deleted file]
third-party/bootstrap-3.0.0/css/bootstrap.css [deleted file]
third-party/bootstrap-3.0.0/css/bootstrap.min.css [deleted file]
third-party/bootstrap-3.0.0/fonts/glyphicons-halflings-regular.eot [deleted file]
third-party/bootstrap-3.0.0/fonts/glyphicons-halflings-regular.svg [deleted file]
third-party/bootstrap-3.0.0/fonts/glyphicons-halflings-regular.ttf [deleted file]
third-party/bootstrap-3.0.0/fonts/glyphicons-halflings-regular.woff [deleted file]
third-party/bootstrap-3.0.0/js/bootstrap.js [deleted file]
third-party/bootstrap-3.0.0/js/bootstrap.min.js [deleted file]
third-party/jquery-1.10.2/js/jquery-1.10.2.js [deleted file]
third-party/jquery-1.10.2/js/jquery-1.10.2.js.url [deleted file]
third-party/jquery-1.10.2/js/jquery-1.10.2.min.js [deleted file]
third-party/jquery-1.10.2/js/jquery-1.10.2.min.js.url [deleted file]
third-party/jquery-1.10.2/js/jquery.js [deleted symlink]
third-party/jquery-1.10.2/js/jquery.min.js [deleted symlink]
third-party/jquery-validate-1.11.0pre/js/jquery.validate.js [deleted file]
third-party/spin-1.2.8/jquery.spin.js [deleted file]
third-party/spin-1.2.8/jquery.spin.js.url [deleted file]
third-party/spin-1.2.8/spin.js [deleted file]
third-party/spin-1.2.8/spin.js.url [deleted file]
third-party/spin-1.2.8/spin.min.js [deleted file]