Remove empty line

jpraet · jpraet · commit 4396af7d1159 · 2023-03-30T18:35:24.000+02:00
diff --git a/web_src/css/repository.css b/web_src/css/repository.css
@@ -1870,7 +1870,6 @@
   }
 }
 
-
 /* TODO: this can potentially be made "global" by removing the class prefix */
 .diff-file-box .ui.attached.header,
 .diff-file-box .ui.attached.table {

Original file line number	Diff line number	Diff line change
`@@ -1870,7 +1870,6 @@`
`1870`	`1870`	`}`
`1871`	`1871`	`}`
`1872`	`1872`
`1873`		`-`
`1874`	`1873`	`/* TODO: this can potentially be made "global" by removing the class prefix */`
`1875`	`1874`	`.diff-file-box .ui.attached.header,`
`1876`	`1875`	`.diff-file-box .ui.attached.table {`