2 Commits

Include renames

Author	SHA1	Message	Date
Wolfgang WaltherandWolfgang Walther	84e5597091	Add postgrest-docs-dictcheck to remove obsolete words from postgrest.dict	2020-11-29 23:54:48 +01:00
Wolfgang WaltherandWolfgang Walther	b83ee94fae	Add nix-shell tools, fix circleci, resolves #322	2020-11-29 23:54:48 +01:00