Commits · master · Alix Trieu / stdpp

10 Jul, 2020 1 commit
- LICENSE: Clarify which BSD license is being used · d6ab6561
  Paolo G. Giarrusso authored Jul 10, 2020
```
Sister MR to iris/iris!472.
```
  d6ab6561
13 Mar, 2020 3 commits
- fix trailing empty line · 215f99da
  Ralf Jung authored Mar 13, 2020
  
  215f99da
- license: remove unnecessary header with typo · a4d6b2a0
  Ralf Jung authored Mar 13, 2020
  
  a4d6b2a0
- Remove copyright headers, update LICENCE file. · 22a06f37
  Robbert Krebbers authored Mar 13, 2020
```
This follows iris!387
This closes issue #54.
```
  22a06f37
03 Feb, 2017 1 commit
- Add makefiles and license. · 1ef65e1b
  Robbert Krebbers authored Jan 31, 2017
  
  1ef65e1b