misc: do not generate unused png icon variants (#72513) #3

Merged
fpeters merged 1 commits from wip/72513-stop-generating-unused-png into main 2023-04-04 17:59:16 +02:00
Owner

Il est depuis un certain temps côté redmine, sans succès, le voici ici, rebasé après #74821.

Il est depuis un certain temps côté redmine, sans succès, le voici ici, rebasé après #74821.
fpeters added 1 commit 2023-02-24 10:18:08 +01:00
gitea/gadjo/pipeline/head This commit looks good Details
c324cb89ce
misc: do not generate unused png icon variants (#72513)
csechet approved these changes 2023-04-03 17:16:38 +02:00
fpeters merged commit 22caa7a2d4 into main 2023-04-04 17:59:16 +02:00
fpeters deleted branch wip/72513-stop-generating-unused-png 2023-04-04 17:59:16 +02:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: entrouvert/gadjo#3
No description provided.