Commits · b0ee740ce5fadf82a2f71cad8873a74fb5f9386d · Lennard Gäher / examples

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