Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Rman, PolyglotMan - reverse compile man pages to a number of source formats #133

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

pmiess
Copy link
Contributor

@pmiess pmiess commented May 18, 2020

Add gnuwin32 package of rman.

This is a supported project with 55 packages in 54 repos.

This is part of 0install/0install.de-feeds#3

@pmiess pmiess changed the title Add Rman, PolyglotMan - reverse compile man pages from formatted form to a number of source formats Add Rman, PolyglotMan - reverse compile man pages to a number of source formats May 23, 2020
@bastianeicher bastianeicher force-pushed the master branch 7 times, most recently from 224e69f to 6f6798d Compare June 4, 2020 11:15
@bastianeicher bastianeicher force-pushed the master branch 4 times, most recently from 9dbb376 to b23dc95 Compare March 27, 2021 18:10
@bastianeicher bastianeicher force-pushed the master branch 5 times, most recently from 5565209 to 0a4b30b Compare September 23, 2021 21:34
@bastianeicher bastianeicher force-pushed the master branch 2 times, most recently from d5d88b8 to 473aefe Compare February 1, 2022 11:37
@bastianeicher bastianeicher force-pushed the master branch 2 times, most recently from b23dd5b to 3e8b9e9 Compare April 23, 2022 09:15
@bastianeicher bastianeicher force-pushed the master branch 3 times, most recently from 6609d02 to c382de9 Compare July 15, 2022 09:12
@bastianeicher bastianeicher force-pushed the master branch 2 times, most recently from 255d5b9 to 33c7b4a Compare November 30, 2022 16:22
@bastianeicher bastianeicher force-pushed the master branch 12 times, most recently from 34788fc to 3bfb388 Compare February 12, 2023 13:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant