MantisBT: master 41c5ce6c

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2020-05-02 11:23 master f64e5f7c
Changeset

Use git plumbing to retrieve branches list

Call git for-each-ref instead of git branch ensures consistent
output for the script's processing.
mod - build/buildrelease-repo.py Diff File
mod - build/docbook-manual-repo.py Diff File