.gitignore 694 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. #############
  2. # LOG FILES #
  3. #############
  4. *.log
  5. **/*.log
  6. *.drv
  7. **/*.drv
  8. #########
  9. # EMACS #
  10. #########
  11. \#*\#
  12. #########
  13. # GUILE #
  14. #########
  15. **/*.go
  16. ########################
  17. # HALL GENERATED FILES #
  18. ########################
  19. # NEWS is currently not used/filled
  20. NEWS
  21. # unsure, whether it should be added, as it is auto-generated by hall and can be produced from the other files in the repository
  22. INSTALL
  23. # ChangeLog is currently not used
  24. ChangeLog
  25. # org file is used instead
  26. README.md
  27. # automake files
  28. autom4te.cache
  29. # other generated files
  30. pre-inst-env
  31. pre-inst-env.in
  32. config.status
  33. # tarball of release
  34. *.tar.gz
  35. **/*.tar.gz
  36. # doc directory
  37. doc/stamp-vti
  38. # test results
  39. **/*.trs