diff options
| author | Andreas Maunz <andreas@maunz.de> | 2011-11-17 09:14:48 +0100 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2011-11-17 09:14:48 +0100 |
| commit | 025e9ed0ef3aae6cfd0b0f3c2c2e122d50ac008d (patch) | |
| tree | aa058e2c08d78057f9f55e0e08a8a88a940638dc /ot-tools-root.sh | |
| parent | 5017e2f3b8865db62c2420cd0101426a46a8714f (diff) | |
Re-enabled OB_DONE, always using public checkout
Diffstat (limited to 'ot-tools-root.sh')
0 files changed, 0 insertions, 0 deletions