css: remove useless a.button padding (#77720) #29

Merged
tjund merged 1 commits from wip/77720-clean-a.button into main 2023-05-31 15:12:49 +02:00
Owner
No description provided.
tjund added 1 commit 2023-05-17 17:53:16 +02:00
gitea/gadjo/pipeline/head This commit looks good Details
7384a0f273
css: remove useless a.button padding (#77720)
csechet approved these changes 2023-05-24 15:09:04 +02:00
tjund merged commit d5c2c674ba into main 2023-05-31 15:12:49 +02:00
tjund deleted branch wip/77720-clean-a.button 2023-05-31 15:12:49 +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#29
No description provided.