|
include
|
No longer store Makefiles in the source tree
|
2017-11-18 05:32:19 +01:00 |
|
src
|
No longer store Makefiles in the source tree
|
2017-11-18 05:32:19 +01:00 |
|
tools
|
Add .gitignore files
|
2017-11-18 05:32:19 +01:00 |
|
.gitignore
|
Add .gitignore files
|
2017-11-18 05:32:19 +01:00 |
|
project.conf
|
Let "make dist" work properly
|
2010-08-25 11:08:07 +00:00 |
