diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-22 13:48:00 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-22 13:48:00 +0100 |
| commit | d1574f0e811c8e742b93e989150a4bd86586cb6a (patch) | |
| tree | 316c3a71a8e5a7efbb08af353c131ba555a3a3d9 /user.old | |
| parent | 87995dfe56f2aae2a7ed445797bf4691a7702401 (diff) | |
rules -> rules/source_repositories.
Diffstat (limited to 'user.old')
0 files changed, 0 insertions, 0 deletions