DEB bibletime: man pages moved to main repo. #162
Merged
MicheleC
merged 1 commits from bibletime/deb-man-pages
into master
1 year ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'bibletime/deb-man-pages'
Deleting a branch is permanent. It CANNOT be undone. Continue?
To be built with TDE/bibletime#1
It looks good.
91c340e19d
into master 1 year agoReviewers
91c340e19d
.