Commits · master · Ben Gamari / gitlab-migration

01 Apr, 2019 1 commit
- Update wiki-mapping.json · 125f87a7
  Ben Gamari authored Apr 01, 2019
  
  125f87a7
19 Mar, 2019 10 commits
- Rename c-ompare-sorf -> compare-sorf · 264cdb17
  Ben Gamari authored Mar 19, 2019
  
  264cdb17
- Rename msy-s1 -> msys1, msy-s2 -> msys2 · 4f599cfb
  Ben Gamari authored Mar 19, 2019
  
  4f599cfb
- Rename gad-ts -> gadts · cf5e0c8c
  Ben Gamari authored Mar 19, 2019
  
  cf5e0c8c
- Rename git-hub -> github · cfab31db
  Ben Gamari authored Mar 19, 2019
  
  cfab31db
- Rename core2-core -> core-to-core · 4a6ca4ba
  Ben Gamari authored Mar 19, 2019
  
  4a6ca4ba
- Rename g-so-c -> gsoc · 57e6a678
  Ben Gamari authored Mar 19, 2019
  
  57e6a678
- Rename i-a64 -> ia64 · 300cf0d1
  Ben Gamari authored Mar 19, 2019
  
  300cf0d1
- Rename e-c2 -> ec2 · 4b2b1bbe
  Ben Gamari authored Mar 19, 2019
  
  4b2b1bbe
- Rename i-os -> iOS · c675a279
  Ben Gamari authored Mar 19, 2019
  
  c675a279
- Rename gh-ci -> GHCi · f588d4a3
  Ben Gamari authored Mar 19, 2019
  
  f588d4a3
18 Mar, 2019 1 commit
- Update wiki-mapping.json · 5d602db7
  Ben Gamari authored Mar 18, 2019
  
  5d602db7
17 Mar, 2019 1 commit
- Add wiki page name mapping · ede09495
  Ben Gamari authored Mar 16, 2019
  
  ede09495
13 Mar, 2019 1 commit
- Add README.md · bdcf4326
  Ben Gamari authored Mar 13, 2019
  
  bdcf4326