From 8ecce3c0a2ce8d898098a4408f18c4cf43a880c9 Mon Sep 17 00:00:00 2001 From: Bernhard M. Wiedemann Date: Jan 14 2021 23:30:21 +0000 Subject: update 2021-01-14 23:30 --- diff --git a/_config b/_config index 87be4f7..3eb5e1f 100644 --- a/_config +++ b/_config @@ -408,21 +408,6 @@ Prefer: -python36 -python39 Prefer: -python36-hotdoc Prefer: -python3-ipython715 -python38-ipython715 -# prefer the PHP5 variants over PHP7 -Prefer: php5-ctype -Prefer: php5-devel -Prefer: php5-dom -Prefer: php5-ftp -Prefer: php5-gd -Prefer: php5-gettext -Prefer: php5-mbstring -Prefer: php5-pear -Prefer: php5-pear-Archive_Tar -Prefer: php5-pear-Horde -Prefer: php5 php5-json -Prefer: php5-tokenizer -Prefer: php5-zip - # man and mandoc provide man; mandoc claims to be lightweight, but it was never discussed to be the new default Prefer: man diff --git a/_staging_workflow b/_staging_workflow index d29e99b..dc04a2c 100644 --- a/_staging_workflow +++ b/_staging_workflow @@ -73,4 +73,8 @@ + + + +