#! /bin/bash 

jslibs_git_check_dir.sh "JSLIBS"

repo="https://github.com/JorgeStolfi/JSLIBS"
svn checkout "${repo}/trunk" ./