.gitignore 1.2KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. # ---> Ansible
  2. *.retry
  3. # ---> Android
  4. # Built application files
  5. *.apk
  6. *.ap_
  7. # Files for the ART/Dalvik VM
  8. *.dex
  9. # Java class files
  10. *.class
  11. # Generated files
  12. bin/
  13. gen/
  14. out/
  15. # Gradle files
  16. .gradle/
  17. build/
  18. # Local configuration file (sdk path, etc)
  19. local.properties
  20. # Proguard folder generated by Eclipse
  21. proguard/
  22. # Log Files
  23. *.log
  24. # Android Studio Navigation editor temp files
  25. .navigation/
  26. # Android Studio captures folder
  27. captures/
  28. # Intellij
  29. *.iml
  30. .idea/workspace.xml
  31. .idea/tasks.xml
  32. .idea/gradle.xml
  33. .idea/dictionaries
  34. .idea/libraries
  35. # Keystore files
  36. *.jks
  37. # External native build folder generated in Android Studio 2.2 and later
  38. .externalNativeBuild
  39. # Google Services (e.g. APIs or Firebase)
  40. google-services.json
  41. # Freeline
  42. freeline.py
  43. freeline/
  44. freeline_project_description.json
  45. # ---> CMake
  46. CMakeCache.txt
  47. CMakeFiles
  48. CMakeScripts
  49. Testing
  50. Makefile
  51. cmake_install.cmake
  52. install_manifest.txt
  53. compile_commands.json
  54. CTestTestfile.cmake
  55. # ---> Coq
  56. .*.aux
  57. *.a
  58. *.cma
  59. *.cmi
  60. *.cmo
  61. *.cmx
  62. *.cmxa
  63. *.cmxs
  64. *.glob
  65. *.ml.d
  66. *.ml4.d
  67. *.mli.d
  68. *.mllib.d
  69. *.mlpack.d
  70. *.native
  71. *.o
  72. *.v.d
  73. *.vio
  74. *.vo
  75. .coq-native/
  76. .csdp.cache
  77. .lia.cache
  78. .nia.cache
  79. .nlia.cache
  80. .nra.cache
  81. csdp.cache
  82. lia.cache
  83. nia.cache
  84. nlia.cache
  85. nra.cache