Author: ib Date: Fri Oct 6 14:07:26 2023 New Revision: 38436 Log: Remove the obsolete debian and rpm distribution directories. For quite some time now, it has become common practice to maintain them in distribution repositories rather than upstream. Deleted: trunk/debian/ trunk/rpm/