.gitignore « devtools « src - packages/libretools - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/src/devtools/.gitignore

blob: b9fef644c5a1fab8a4e8c23f132d8ed22eb3c516 (plain)

*
!GNUmakefile
!Makefile
!.gitignore
!*.patch