From: Jiaqi Zhang Date: Fri, 11 Sep 2020 18:14:23 +0000 (-0400) Subject: remove builds-on 39->12 X-Git-Tag: v9.3.0-rc1~1125^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=11b76a957fdb12a76b814f1bc31abb248d4cd14c;p=dealii.git remove builds-on 39->12 --- diff --git a/examples/step-12/doc/builds-on b/examples/step-12/doc/builds-on index ab106ec4b1..943473db87 100644 --- a/examples/step-12/doc/builds-on +++ b/examples/step-12/doc/builds-on @@ -1 +1 @@ -step-7 step-39 +step-7