Commits · master · Abel Nieto / Iris

07 Nov, 2019 1 commit
- expand README · a3ffa476
  Ralf Jung authored Nov 07, 2019
  
  a3ffa476
01 Nov, 2019 1 commit
- move docs around · 14ac28b1
  Ralf Jung authored Nov 01, 2019
  
  14ac28b1
17 Mar, 2019 1 commit
- emphasize picking the right job name · 82e7e2ef
  Ralf Jung authored Mar 17, 2019
  
  82e7e2ef
14 Mar, 2019 2 commits
- Update URL. · 2030d90c
  Robbert Krebbers authored Mar 14, 2019
  
  2030d90c
- explain how to time a change against a reverse dependency · 3b9762bb
  Ralf Jung authored Mar 14, 2019
  
  3b9762bb
28 Jan, 2019 1 commit
- update URL · f42513b7
  Ralf Jung authored Jan 28, 2019
  
  f42513b7
24 Jan, 2019 5 commits
- tweak docs some more · 0f31e622
  Ralf Jung authored Jan 24, 2019
  
  0f31e622
- move the section about chat + mailing list to README · 45c5fb3a
  Ralf Jung authored Jan 24, 2019
  
  45c5fb3a
- tweaks · 02513979
  Ralf Jung authored Jan 24, 2019
  
  02513979
- editing · 9142dc50
  Ralf Jung authored Jan 24, 2019
  
  9142dc50
- move everything contribution-related to CONTRIBUTING.md, and link to it from README · e58cd282
  Ralf Jung authored Jan 24, 2019
  
  e58cd282
18 Dec, 2017 3 commits
- Update CONTRIBUTING.md · 3c76c273
  Ralf Jung authored Dec 18, 2017
  
  3c76c273
- Update CONTRIBUTING.md · 9ded15fb
  Ralf Jung authored Dec 18, 2017
  
  9ded15fb
- update CONTRIBUTING · 3a4ef9a8
  Ralf Jung authored Dec 18, 2017
  
  3a4ef9a8
24 Oct, 2017 1 commit
- update CONTRIBUTING · bd692a8b
  Ralf Jung authored Oct 24, 2017
  
  bd692a8b
13 Feb, 2017 1 commit
- add a contributor's guide · dab1ea26
  Ralf Jung authored Feb 13, 2017
  
  dab1ea26