6 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jörg Thalheim	034f780421	remove unused headers	2021-03-14 23:19:18 +01:00
Jörg Thalheim	ac566dea95	update from upstream	2021-03-14 23:16:57 +01:00
Jörg Thalheim	0f22a976e5	update nixpkgs	2021-03-14 23:16:46 +01:00
Jörg Thalheim	9205107bd6	add gitignore	2021-03-14 23:16:31 +01:00
Jörg Thalheim	e2a3c95179	prefix header files with nix/	2020-11-29 21:32:04 +01:00
Jörg Thalheim	5ed5476058	add project	2020-11-29 15:33:55 +01:00