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.

Sign up for GitHub

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

Jump to bottom

Updates to list of tools that rely on the DITA-OT #28

Closed
wants to merge 2 commits into from
Closed

Updates to list of tools that rely on the DITA-OT #28

wants to merge 2 commits into from

Conversation

keberlein
Copy link
Contributor

  • Adding Vasont DITA CMS to list of tools that rely on the DITA-OT
  • Breaking list into categories: Authoring tools, Content management systems, delivery systems, and print systems

@jelovirt
Copy link
Member

This change was already merged in #27. This only adds the merge commit to master. Looks invalid PR to me.

@keberlein this PR doesn't contain the updates listed in the description. Did you make this PR from a wrong branch, or was this deliberately from keberlein:master?

@keberlein
Copy link
Contributor Author

I made a mistake; my apologies. How can I close this pull request?

@jelovirt jelovirt closed this Nov 30, 2016
@infotexture infotexture added invalid This doesn't seem right vendors Updates to third-party software listings labels Dec 1, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
invalid This doesn't seem right vendors Updates to third-party software listings
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@keberlein @jelovirt @infotexture