blob: 46279f7c560c5cfa4e9ee0ae580b922e798006af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash
# run this script on the _upstream_ branch
( while read -r name ; do
git rm -r $name
done ) <<EOF
collects/tests/racket/benchmarks/common/psyntax-input.txt
collects/tests/xml/clark-tests
collects/tests/racket/benchmarks/common/maze.sch
collects/tests/racket/benchmarks/common/maze2.sch
collects/tests/racket/benchmarks/common/typed/maze2.rktl
collects/tests/racket/testing.rktl
collects/tests/utils/mz-testing.rkt
EOF
|
