guerler 5a36b9dd2c Remove rounded borders from welcome box

2019-01-11 19:22:05 -05:00

..

gmaj

…

images

Stage two more images after inclusion in scripts. We'll inevitably find more of these, and they should all be removed, but this gives us a way to transition as things are rewritten.

2018-10-30 17:58:28 -04:00

laj

…

patmat

…

style

Another image link for admin_toolshed stuff.

2018-10-30 18:44:45 -04:00

toolshed

Galaxy.root (proxy prefix) support for toolshed's Group model.

2017-09-27 12:15:12 -04:00

wymeditor

…

favicon.ico

…

formatHelp.html

…

incompatible-browser.html

…

june_2007_style

…

robots.txt

…

src

…

user_disabled.html

…

welcome.html.sample

Remove rounded borders from welcome box

2019-01-11 19:22:05 -05:00