Commits · master · Iris / examples

10 Jul, 2020 1 commit
- LICENSE: Clarify which BSD license is being used · d7a817e5
  Paolo G. Giarrusso authored Jul 10, 2020
```
Sister MR to iris/iris!472.
```
  d7a817e5
13 Mar, 2020 3 commits
- fix trailing empty line · c3ed7269
  Ralf Jung authored Mar 13, 2020
  
  c3ed7269
- license: remove unnecessary header with typo · d695a626
  Ralf Jung authored Mar 13, 2020
  
  d695a626
- fill in blanks in LICENSE · 60405a8a
  Ralf Jung authored Mar 13, 2020
  
  60405a8a
25 Jan, 2019 1 commit
- prepare for merging into iris-examples · 016104c0
  Ralf Jung authored Jan 25, 2019
  
  016104c0
19 Dec, 2018 1 commit
- add BSD license · 1eb36a8d
  Ralf Jung authored Dec 19, 2018
```
Closes #6
```
  1eb36a8d
09 Dec, 2018 1 commit
- Add BSD3 LICENSE. This closes issue #10. · ca2a84e5
  Robbert Krebbers authored Dec 09, 2018
  
  ca2a84e5