removes fedora25 platform due to end-of-life

diff --git a/deal.II-toolchain/platforms/supported/fedora25.platform b/deal.II-toolchain/platforms/supported/fedora25.platform
deleted file mode 100644 (file)
index 1a8ec32..0000000
--- a/deal.II-toolchain/platforms/supported/fedora25.platform
+++ /dev/null
@@ -1,23 +0,0 @@
-# Fedora 25
-
-# This build script assumes that you have several packages already
-# installed via Fedora's dnf using the following command:
-#
-# $ sudo dnf install \
-# @development-tools gcc-c++ cmake openmpi openmpi-devel splint \
-# patch libtool lua lua-devel \
-# blas blas-devel lapack lapack-devel \
-# doxygen graphviz graphviz-devel qt-devel \
-# metis metis-devel 
-# 
-# Please load the 'openmpi' compiler with
-# $  module load mpi/openmpi-x86_64
-# and then set the compiler enviroment variables to
-# $ export CC=mpicc; export CXX=mpicxx; export FC=mpif90; export FF=mpif77
-# before you continue!
-##
-
-#
-# Define the additional packages for this platform.
-#PACKAGES="once:cmake ${PACKAGES}"
-