wok-6.x view bazaar-tools/description.txt @ rev 24875

updated m4 (1.4.18 -> 1.4.19)
author Hans-G?nter Theisgen
date Thu Mar 31 10:07:36 2022 +0100 (2022-03-31)
parents
children
line source
1 Bzrtools is plugin providing a collection of utilities for bzr.