robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use custom labels for the diffs #9

Merged
reynir merged 1 commit from diff-labels into main 2025-01-10 11:34:13 +00:00
Conversation 3 Commits 1 Files changed 1 +9 -1

1 commit

Author SHA1 Message Date
Reynir Björnsson
02afdbb391 Use custom labels for the diffs 
Otherwise we leak the temporary file names which are also not
interesting to the (innocent) user.
 2025-01-09 16:48:45 +01:00