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

primeng: admin documents #1230

Merged
merged 1 commit into from
Dec 18, 2024
Merged

primeng: admin documents #1230

merged 1 commit into from
Dec 18, 2024

Conversation

jma
Copy link
Contributor

@jma jma commented Dec 18, 2024

No description provided.

@github-actions github-actions bot added f: professional ui Professional interface f: editor Concerns editor based on JSON schema AND custom editor f: search f: circulation Concerns the circulation interface or backend f: public ui Public interface, as opposed to the professional interface f: user management f: acquisitions Related to the acquisition module f: activity-logs Everything around logging user activities labels Dec 18, 2024
@jma jma marked this pull request as ready for review December 18, 2024 10:26
Co-Authored-by: Johnny Mariéthoz <[email protected]>
Co-Authored-by: Bertrand Zuchuat <[email protected]>
@jma jma force-pushed the maj-next-documents branch from 9390e83 to 3dc68d1 Compare December 18, 2024 10:49
@jma jma merged commit e503b06 into rero:next-version Dec 18, 2024
1 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
f: acquisitions Related to the acquisition module f: activity-logs Everything around logging user activities 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