10 lines
312 B
Plaintext
10 lines
312 B
Plaintext
<h2>_{MsgSubmissionFilesIgnored (Set.size ignoredFiles)}
|
|
<ul>
|
|
$forall ident <- ignoredFiles
|
|
$case ident
|
|
$of Right fileTitle
|
|
<li style="font-family: monospace">#{fileTitle}
|
|
$of Left cID
|
|
<li>Bewertungsdatei für <span style="font-family: monospace">#{toPathPiece cID}</span>
|
|
|