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 /bgpd/BGP4-MIB.txt | |
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 'bgpd/BGP4-MIB.txt')
0 files changed, 0 insertions, 0 deletions