Marco Costalba d9dd520896 Fix previous patch for OS X (#961) ... Use posix version of sed that is available on all platforms. No functional change.		2017-01-09 15:37:09 +01:00
..
instrumented.sh	New shell scripts for testing, used for travis CI (#957)	2017-01-09 10:30:57 +01:00
perft.sh	New shell scripts for testing, used for travis CI (#957)	2017-01-09 10:30:57 +01:00
reprosearch.sh	New shell scripts for testing, used for travis CI (#957)	2017-01-09 10:30:57 +01:00
signature.sh	Fix previous patch for OS X (#961)	2017-01-09 15:37:09 +01:00