47 lines
542 B
Plaintext
47 lines
542 B
Plaintext
# ---> Ada
|
|
# Object file
|
|
*.o
|
|
|
|
# Ada Library Information
|
|
*.ali
|
|
|
|
# ---> Agda
|
|
*.agdai
|
|
MAlonzo/**
|
|
|
|
# ---> Android
|
|
# Gradle files
|
|
.gradle/
|
|
build/
|
|
|
|
# Local configuration file (sdk path, etc)
|
|
local.properties
|
|
|
|
# Log/OS Files
|
|
*.log
|
|
|
|
# Android Studio generated files and folders
|
|
captures/
|
|
.externalNativeBuild/
|
|
.cxx/
|
|
*.apk
|
|
output.json
|
|
|
|
# IntelliJ
|
|
*.iml
|
|
.idea/
|
|
misc.xml
|
|
deploymentTargetDropDown.xml
|
|
render.experimental.xml
|
|
|
|
# Keystore files
|
|
*.jks
|
|
*.keystore
|
|
|
|
# Google Services (e.g. APIs or Firebase)
|
|
google-services.json
|
|
|
|
# Android Profiling
|
|
*.hprof
|
|
|