You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
#!/usr/bin/env sh
|
|
|
|
|
|
set -eu
|
|
|
|
|
|
( cd "$(dirname "$0")"/../
|
|
|
|
|
|
rm -f ./*.log ./*.tuc ./*.out ./*.aux ./*.toc ./*.pyg
|
|
|
|
|
|
)
|
|
|
|
