Reswitch to OASIS
Update the .gitignore
OASIS: Don't export internal modules
OASIS: Use -setup-update weak
Merge pull request #1 from jpdeplaix/master

Reswitch to OASIS