aboutsummaryrefslogtreecommitdiff
path: root/src/makefile_linux
AgeCommit message (Expand)Author
2007-01-11fixed typo in the linux makefileGeorg Holzmann
2006-12-14initial check insvn2git-rootmusil