summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterremove dead codeJakob Odersky9 years
 
 
AgeCommit messageAuthorFilesLines
2015-04-26remove dead codeHEADmasterJakob Odersky1-2/+0
2015-04-26remove useless stylesheetJakob Odersky1-9/+0
2015-04-26move readme into extensionJakob Odersky3-17/+18
2015-04-26initial commitJakob Odersky8-0/+771
 
Clone
https://git.crashbox.io/mirrors/github/jodersky/toggle-workspace