pull.sh

7 lines | 133 B Blame History Raw Download

#!/bin/bash

echo "memoizeittophalf"
cd memoizeittophalf; bash pull.sh; cd ..
echo "memoizeittf"
cd memoizeittf; bash pull.sh; cd ..