[HCoop-Help] DomTool Woes

[Adam Chlipala]

John T. Settino wrote:
> Shit, I was moving domtool files for testing, thought I made a copy 
> and just deleted all my config files... is there a way to get them 
> back? Are they copied to a DomTool folder or anything?

Everyone's home directory is backed up to /afs/hcoop.net/old/user.  I 
was thinking we had nice symlinks into here from the main home 
directories, but I guess we don't yet.