___________________________________________________________- Nik.Hi all,So I accidentally added a directory of files to my repo that shouldn't be there and I am trying to delete it, but I get an "Internal Server Error". I also tried to just upload a new tarball and chose "Yes" for overwriting the files, but that directory won't delete. I'm guessing because the only thing in that directory is a .git directory..... for some reason it has trouble deleting the directories that begin with a dot?!? Anyways, can someone help me out?
--Nikhil Joshi
Bioinformatics Analyst/Programmer
UC Davis Bioinformatics Core
http://bioinformatics.ucdavis.edu/
najoshi -at- ucdavis -dot- edu
530.752.2698 (w)
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
https://lists.galaxyproject.org/
To search Galaxy mailing lists use the unified search at:
http://galaxyproject.org/search/mailinglists/