diff options
author | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-02-26 09:53:32 +0000 |
---|---|---|
committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-02-26 09:53:32 +0000 |
commit | 12fb003cde67743b92f43f3874ed07bc6c3a1587 (patch) | |
tree | 9ed45bd4446076bc8370bdd4f88a0ce91ddf78c7 /externals/grill/pool | |
parent | 104ee281e64cb79d2e08f868a120e53ecb46e2e5 (diff) |
new location for helpfiles: in /extra/myexternal at the same place as the externals/patches
svn path=/trunk/; revision=7449
Diffstat (limited to 'externals/grill/pool')
0 files changed, 0 insertions, 0 deletions