#! /bin/bash 
# Last edited on 2023-01-02 13:27:34 by stolfi

./jslibs_git_check_dir.sh "JSLIBS"

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