2018-11-17 13:49:44 +01:00
|
|
|
<div class="media">
|
|
|
|
|
<div class="media-left">
|
|
|
|
|
<p class="media-object">
|
|
|
|
|
<span class="glyphicon glyphicon-asterisk" aria-hidden="hidden">
|
|
|
|
|
<div class="media-body">
|
2020-09-05 23:26:53 +02:00
|
|
|
^{submissionHeader (OneThing (submission, Nothing))}
|
2018-11-17 13:49:44 +01:00
|
|
|
^{resultTable (Entity (fsiSubmissionId submission) (fsiSubmission submission))}
|
|
|
|
|
|
|
|
|
|
$if not (null (fsiSuperSubmissions submission))
|
|
|
|
|
<h4>downstream submissions
|
|
|
|
|
$forall superSubmission <- (fsiSuperSubmissions submission)
|
|
|
|
|
^{queryResult superSubmission}
|
