spare sistem-file-gnu-linux in multiple files
tree7ec782a967b82945952b2d6b1369647de1141a4a
-rw-r--r-- 36 .gitignore
-rw-r--r-- 5618 Makefile
-rw-r--r-- 1852 README.rst
-rw-r--r-- 9285 conf.py
-rw-r--r-- 521 index.rst
-rw-r--r-- 5110 make.bat
drwxr-xr-x - src
drwxr-xr-x - themes