path: root/.gitignore

# This should ensure that under p/, there are only directories foo/debian, but everything else in p/, and everything in p/foo/ besides debian, is ignored
/p/*
!/p/*/
/p/*/*
!/p/*/debian/

dist
lab
*~