.*
!.gitignore
*.[io]lean
/result