diff options
| author |  Florent <cheap.glitch@gmail.com>
| 2021-11-02 17:51:00 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-11-02 17:51:00 +0100 |
| commit | 428da93d61587a730ad7b3ff91107b63b1418eb3 (patch) | |
| tree | f6e316b540c07606c387e0ed312c67192f1193e0 /source/features/quick-pr-diff-options.tsx | |
| parent | 6d5bda3b9db8b8d1514af40ff53628f198f4478d (diff) | |
| download | refined-github-428da93d61587a730ad7b3ff91107b63b1418eb3.tar.gz refined-github-428da93d61587a730ad7b3ff91107b63b1418eb3.tar.zst refined-github-428da93d61587a730ad7b3ff91107b63b1418eb3.zip | |
Fix missing margin caused by `clean-dashboard` (#5034)
Diffstat (limited to 'source/features/quick-pr-diff-options.tsx')
0 files changed, 0 insertions, 0 deletions