debbugs: Add bug-id->summary-file.
[software/mumi.git] / bootstrap.sh
2017-10-30  Ricardo WurmusInitial commit.