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

global: fix HTML copyright #651

Merged
merged 1 commit into from
Jun 28, 2021
Merged

Conversation

zannkukai
Copy link
Contributor

Remove back-space character (U+0008) from HTML header comment.

Co-Authored-by: Renaud Michotte renaud.michotte@gmail.com

Code review check list

  • Commit message template compliance.
  • Commit message without typos.
  • File names.
  • Functions names.
  • Functions docstrings.
  • Unnecessary commited files?
  • Cypress tests successful?

@zannkukai zannkukai self-assigned this Jun 25, 2021
@github-actions github-actions bot added f: circulation Concerns the circulation interface or backend f: editor Concerns editor based on JSON schema AND custom editor f: professional ui Professional interface f: public ui Public interface, as opposed to the professional interface f: search f: user management labels Jun 25, 2021
@iGormilhit iGormilhit changed the title Misc: Fix HTML copyright global: fix HTML copyright Jun 28, 2021
Copy link
Contributor

@iGormilhit iGormilhit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Change the commit message title according to the PR title: global: fix HTML copyright

Remove `back-space` character (U+0008) from HTML header comment.

Co-Authored-by: Renaud Michotte <renaud.michotte@gmail.com>
@zannkukai zannkukai merged commit e737a62 into rero:dev Jun 28, 2021
@zannkukai zannkukai deleted the zan-fix-copyright branch June 28, 2021 07:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
f: circulation Concerns the circulation interface or backend f: editor Concerns editor based on JSON schema AND custom editor f: professional ui Professional interface f: public ui Public interface, as opposed to the professional interface f: search f: user management
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants