summaryrefslogtreecommitdiff
path: root/Mig
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-10 13:52:07 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-10 13:52:07 +0200
commit783c7838d24e5d506ae644e7ea4ce77490ef9f28 (patch)
tree422a26e97f93596c40b12f6cf7e43c993ea90c50 /Mig
parent9d566d9c5f51ad3e01ba2e1903e2e83d4fe1bc79 (diff)
Ignore files that want to be ignored.
Diffstat (limited to 'Mig')
0 files changed, 0 insertions, 0 deletions