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

Allow applications to specify a documentation URL #2

Closed
io7m opened this issue Jun 27, 2020 · 0 comments
Closed

Allow applications to specify a documentation URL #2

io7m opened this issue Jun 27, 2020 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@io7m
Copy link
Owner

io7m commented Jun 27, 2020

This could be printed in usage messages to direct users to online documentation.

@io7m io7m self-assigned this Jun 27, 2020
@io7m io7m added the enhancement New feature or request label Jun 27, 2020
@io7m io7m closed this as completed in a33a39f Jun 27, 2020
io7m added a commit that referenced this issue Jun 27, 2020
Release: com.io7m.claypot 0.0.2
Change: Allow applications to publish documentation URIs. (Ticket: #2)
Change: Document @ syntax. (Ticket: #3)
Change: Add extended help methods. (Ticket: #1)
io7m added a commit that referenced this issue Jun 27, 2020
Release: com.io7m.claypot 0.0.2

Change: Allow applications to publish documentation URIs. (Ticket: #2)
Change: Document @ syntax. (Ticket: #3)
Change: Add extended help methods. (Ticket: #1)
io7m added a commit that referenced this issue Jul 4, 2020
Release: com.io7m.claypot 0.0.3
Change: Introduce commands() method to return map of commands (Ticket: #4)
Change: (Backwards incompatible) Introduce ClaypotType interface
Change: Allow applications to publish documentation URIs. (Ticket: #2)
io7m added a commit that referenced this issue Jul 4, 2020
Release: com.io7m.claypot 0.0.3

Change: Introduce commands() method to return map of commands (Ticket: #4)
Change: (Backwards incompatible) Introduce ClaypotType interface
Change: Allow applications to publish documentation URIs. (Ticket: #2)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant