Child: [85426a] (diff)
Download this file
1 2 3 4 5 6 7 8 9 10 11 12
#!/bin/sh topdir=`dirname $0`/.. . $topdir/shared.sh initvariables $0 recollq '"plurilingues et pluriculturels"' > $mystdout 2> $mystderr diff -w ${myname}.txt $mystdout > $mydiffs 2>&1 checkresult