[arch-commits] Commit in polyml/trunk (polyml.install)

[Alexander Rødseth via arch-commits]

    Date: Friday, August 7, 2020 @ 20:07:27
  Author: arodseth
Revision: 671705

Remove .install file

Deleted:
  polyml/trunk/polyml.install

----------------+
 polyml.install |    7 -------
 1 file changed, 7 deletions(-)

Deleted: polyml.install
===================================================================
--- polyml.install      2020-08-07 20:07:06 UTC (rev 671704)
+++ polyml.install      2020-08-07 20:07:27 UTC (rev 671705)
@@ -1,7 +0,0 @@
-post_upgrade() {
-  cat << EOF
-If you compile executables using Poly/ML, you should use
-the new polyc script, as this automatically passes the
-correct libraries to the linker.
-EOF
-}