projtool/usertool: default paging to off for most commands
[girocco.git] / .gitattributes
blob8359151a3440b03fa09258309a0497a5eaaa7ac8
1 .gitattributes  export-ignore
2 .gitignore      export-ignore