diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-09 03:12:40 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-08 21:43:28 +0000 |
commit | 51e751ca7cb716812f2b8f831cf463449ae7a3ec (patch) | |
tree | 866c48732f7df964826a788d2b4539a6971e5035 /Main/MichaelT.mdwn | |
parent | 27b56060c3f62c04fc93cd08781a49824c1b7826 (diff) |
Aggregate the two git checkout possibilities.
Diffstat (limited to 'Main/MichaelT.mdwn')
0 files changed, 0 insertions, 0 deletions