diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-09 03:12:40 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-09 03:12:40 +0200 |
| commit | 6f62cfdc2c649add0416dcafc5b3c3d5c5e1aa0f (patch) | |
| tree | 866c48732f7df964826a788d2b4539a6971e5035 /Mach | |
| parent | d9d53c976bd8f8cb96a1241fb1a3d088cd965fad (diff) | |
Aggregate the two git checkout possibilities.
Diffstat (limited to 'Mach')
0 files changed, 0 insertions, 0 deletions