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

Fix gulp prod #85

Merged
merged 3 commits into from
Apr 2, 2015
Merged

Fix gulp prod #85

merged 3 commits into from
Apr 2, 2015

Conversation

philschatz
Copy link
Member

No UI Changes.

fixes gulp prod by not trying to import external fonts while minifying the CSS.

@gregfitch

@gregfitch
Copy link
Member

font import no longer trips the provisioning up; uncovered an issue with the database reset (passed to Tutor Server)

@philschatz philschatz mentioned this pull request Apr 1, 2015
philschatz added a commit that referenced this pull request Apr 2, 2015
@philschatz philschatz merged commit 3ad8752 into master Apr 2, 2015
@philschatz philschatz deleted the fix-gulp-prod branch April 2, 2015 01:47
nathanstitt pushed a commit that referenced this pull request Aug 1, 2016
nathanstitt pushed a commit that referenced this pull request Aug 1, 2016
Correct error messages and change wording to "school id"
nathanstitt pushed a commit that referenced this pull request Aug 1, 2016
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