Set GitHub's Git repo as primary repo
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 21 Dec 2014 09:45:03 +0000 (10:45 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 21 Dec 2014 09:45:03 +0000 (10:45 +0100)
commit21520b265493a3eb64fd7769083c63a0a0f5d075
treefa978f0334a9e447438ecfe92074fd9a3adae300
parenta967cb08d37da9cd04d6e54202a945bcaae89c05
Set GitHub's Git repo as primary repo
random.cabal