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

Semantic theming #242

Merged
merged 3 commits into from Aug 28, 2020
Merged

Semantic theming #242

merged 3 commits into from Aug 28, 2020

Conversation

jrcastro2
Copy link
Contributor

@jrcastro2 jrcastro2 commented Aug 25, 2020

slint added 2 commits May 19, 2020 12:27
* Renames the records asset folder, so that it has a unique name (before
  it was clashing with the themes folder). Assets folders should have
  unique names to allow the possibility to symlink them in the build
  folder.
@jrcastro2 jrcastro2 marked this pull request as ready for review August 25, 2020 14:46
@jrcastro2 jrcastro2 added this to Backlog in Invenio v3.4 + SemanticUI via automation Aug 25, 2020
@jrcastro2 jrcastro2 moved this from Backlog to Pending review in Invenio v3.4 + SemanticUI Aug 25, 2020
@jrcastro2 jrcastro2 force-pushed the semantic-theming branch 7 times, most recently from ba5f97e to 891d310 Compare August 26, 2020 11:28
@jrcastro2 jrcastro2 moved this from Pending review to In progress in Invenio v3.4 + SemanticUI Aug 27, 2020
@jrcastro2 jrcastro2 force-pushed the semantic-theming branch 9 times, most recently from 6d4a82a to ba18ff3 Compare August 28, 2020 09:47
@jrcastro2 jrcastro2 moved this from In progress to Pending review in Invenio v3.4 + SemanticUI Aug 28, 2020
@lnielsen lnielsen merged commit c855410 into inveniosoftware:v3.4 Aug 28, 2020
Invenio v3.4 + SemanticUI automation moved this from Pending review to Done Aug 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

3 participants