Adrian Wälchli 4bdf2fe55f remove executable bit on source files (#5929) ... * 644		2021-02-12 00:06:40 +01:00
..
source	remove executable bit on source files (#5929)	2021-02-12 00:06:40 +01:00
Makefile	Fix pre-commit trailing-whitespace and end-of-file-fixer hooks. (#5387)	2021-01-26 14:27:56 +01:00
make.bat	Sphinx generated documentation (#521)	2019-11-28 12:48:55 -05:00