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

Set $CMD_DURATION to milliseconds. Fixes #1585 #1590

Closed
wants to merge 1 commit into from

Conversation

giodamelio
Copy link
Contributor

Changing $CMD_DURATION to be in milliseconds as discussed in #1585

@zanchey
Copy link
Member

zanchey commented Aug 2, 2014

Would you consider adding it to the documentation as well?

@giodamelio
Copy link
Contributor Author

Sure, not quite sure how doxygen works though. I added a line in doc_src/index.hdr.in, in the Special variables section(After line 1010), but when I run doxygen it doesn't update it.

@zanchey
Copy link
Member

zanchey commented Aug 3, 2014

Try using make user_doc; running Doxygen directly won't quite work.

@giodamelio
Copy link
Contributor Author

There we go, added to the docs.

@zanchey zanchey self-assigned this Aug 4, 2014
@zanchey zanchey added this to the next-minor milestone Aug 4, 2014
@zanchey
Copy link
Member

zanchey commented Aug 4, 2014

Merged with rebase here:
To git@github.com:fish-shell/fish-shell.git
4ae2753..bcda3f1 master -> master

Thanks! This will definitely need to go in the release notes as a change to behaviour.

@zanchey zanchey closed this Aug 4, 2014
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 18, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
docs An issue/PR that touches or should touch the docs enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants