diff options
| author | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-07 23:17:45 +0000 |
|---|---|---|
| committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-07 23:17:45 +0000 |
| commit | 8dd8701ff50af3a98cf6cf55b32733af2d949508 (patch) | |
| tree | 99530fd2685c916f461ff2d19e60db8c3f61d3d1 /adaptive/doc | |
| parent | d35f7be5731f717d8510ca826e4c14ab6191ea69 (diff) | |
some modification for single object externals
svn path=/trunk/externals/grh/; revision=7228
Diffstat (limited to 'adaptive/doc')
0 files changed, 0 insertions, 0 deletions