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

Fixed a bug where some tabber tabs were not being changed to twiter tabs... #51

Merged
merged 1 commit into from
May 19, 2013

Conversation

goehle
Copy link
Member

@goehle goehle commented May 19, 2013

... correctly

@mgage
Copy link
Member

mgage commented May 19, 2013

small change.

mgage added a commit that referenced this pull request May 19, 2013
Fixed a bug where some tabber tabs were not being changed to twiter tabs...
@mgage mgage merged commit 6207684 into openwebwork:release/2.7 May 19, 2013
goehle pushed a commit to goehle/webwork2 that referenced this pull request Feb 20, 2014
Merging your fixes.  (As a practice, I'd like to see a separate pull for each bug, rather than mixing them together.  That makes it clearer which changes are for which bug, and makes it easier to back out of changes if there ends up being a problem.  Here, the fixes for dollar signs are mixed in with the fixes for the printing of hints.)
drgrice1 pushed a commit that referenced this pull request Oct 9, 2023
Add the .zip extension when a single file or directory without extension is selected.
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.

2 participants