Merge branch 'jk/maint-push-config'
[git/vmiklos.git] / contrib / buildsystems / 
tree36d98774d0787db24c24509736b12f5680ed50eb
drwxr-xr-x   ..
-rw-r--r-- 1100 Generators.pm
drwxr-xr-x - Generators
-rw-r--r-- 10867 engine.pl
-rw-r--r-- 1208 generate
-rw-r--r-- 6675 parse.pl