Skip to content
This repository has been archived by the owner on Jan 5, 2021. It is now read-only.

Enhance documentation for entry and exit points #73

Closed
GoogleCodeExporter opened this issue Apr 24, 2015 · 2 comments
Closed

Enhance documentation for entry and exit points #73

GoogleCodeExporter opened this issue Apr 24, 2015 · 2 comments

Comments

@GoogleCodeExporter
Copy link

Enhance documentation for entry and exit points

Original issue reported on code.google.com by A.Muel...@googlemail.com on 17 Nov 2014 at 2:44

@RainerKlute
Copy link
Contributor

Fixed in "userdoc_structure_2.0" branch, not in master.

@RainerKlute
Copy link
Contributor

Fixed with pull request #409.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

5 participants