DEB kile: man pages moved to main repository. #137
Merged
MicheleC
merged 1 commits from deb/kile-man-pages
into master
2 years ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'deb/kile-man-pages'
Deleting a branch is permanent. It CANNOT be undone. Continue?
To be built with TDE/kile#3
It looks good.
8c6fc98963
into master 2 years agoReviewers
8c6fc98963
.