diff options
| author | paul <paul> | 2003-04-07 06:02:17 +0000 |
|---|---|---|
| committer | paul <paul> | 2003-04-07 06:02:17 +0000 |
| commit | 3a6440d756863b602cfaaf0259b71950e67b2a6e (patch) | |
| tree | e341fb75541ab4bafbd817500add90923617f818 /ripd/ripd.h | |
| parent | f6386eebb95769559d2c828b9b9d70c0ffd23b45 (diff) | |
Remove auto* files from the repository.
Developers working with the repository should have the appropriate tools.
Out-of-sync files cause far too many problems with users as well as auto*
scripts not being half as portable across systems as they ought to be.
make-dist exists for a reason.
Todo: make the CVS snapshot script do make-dist, and use the resulting
tarball as the snapshot.
Diffstat (limited to 'ripd/ripd.h')
0 files changed, 0 insertions, 0 deletions