[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Add github links to repo pages
- Subject: Add github links to repo pages
- From: Chris Warburton
- Date: Sat, 22 Jul 2017 15:46:51 +0100
- State: new
There may be some minor changes in the names, but this might be overcome
by a simple lookup table for those cases.