gitignore improvement to omit users sub-directories except (default)

AToMPM / atompm

A Tool for Multi-Paradigm Modeling

https://atompm.github.io/

GNU Lesser General Public License v3.0

22 stars 15 forks source link

Closed harolato closed 3 years ago

harolato commented 3 years ago

I propose this solution:

users/*
!users/(default)

BentleyJOakes commented 3 years ago

Thanks for the suggestion. Fixed in 9181724705b20363e0549cf5beb4fdd08be91fcf