aboutsummaryrefslogtreecommitdiff
path: root/abstractions/Makefile
diff options
context:
space:
mode:
authorGeorg Holzmann <grholzi@users.sourceforge.net>2007-01-07 23:25:39 +0000
committerGeorg Holzmann <grholzi@users.sourceforge.net>2007-01-07 23:25:39 +0000
commit05d5bf26e4d633bbeeb2d9b567331d5eeaaed071 (patch)
treec41a5885cbf87bdf3ded5111c8f79bc951b25da3 /abstractions/Makefile
parentbef22b3a3e4bb1256ac2a8a87eadbc4005b8e4e2 (diff)
forgot to remove some stupid comments ... ;)
svn path=/trunk/; revision=7230
Diffstat (limited to 'abstractions/Makefile')
0 files changed, 0 insertions, 0 deletions