diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-28 00:13:07 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-28 00:13:07 +0200 |
| commit | fdc48b8a0103a28fdf751956a8ef0c41b306f8a6 (patch) | |
| tree | 4c88dbd6a8979bfe1335971ccf601630d8886cc5 /user/zhengda | |
| parent | f2254d55ed1f01093607bd9483a3e345a3d3a276 (diff) | |
rules/source_repositories: Add a concrete example.
Text from a 2009-05-15 email by me.
Message-ID: <20090515193350.GQ23964@fencepost.gnu.org>
Diffstat (limited to 'user/zhengda')
0 files changed, 0 insertions, 0 deletions