diff options
| author | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-07 23:25:39 +0000 |
|---|---|---|
| committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-07 23:25:39 +0000 |
| commit | 05d5bf26e4d633bbeeb2d9b567331d5eeaaed071 (patch) | |
| tree | c41a5885cbf87bdf3ded5111c8f79bc951b25da3 /abstractions/Makefile | |
| parent | bef22b3a3e4bb1256ac2a8a87eadbc4005b8e4e2 (diff) | |
forgot to remove some stupid comments ... ;)
svn path=/trunk/; revision=7230
Diffstat (limited to 'abstractions/Makefile')
0 files changed, 0 insertions, 0 deletions