src/Tools/Metis/fix_metis_license
author paulson <lp15@cam.ac.uk>
Fri, 08 Aug 2025 16:46:03 +0100
changeset 82969 dedd9d13c79c
parent 73705 ac07f6be27ea
permissions -rwxr-xr-x
Generalised a theorem about Lebesgue integration

#!/usr/bin/env bash
unset CDPATH
THIS=$(cd "$(dirname "$0")"; echo $PWD)
(cd $THIS;
 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)