comparison src/elab_env.sml @ 2053:229a299d739d

Add tests/dbupload2.* files tests/dbupload2.sh is a shell script which run the test scenario On my machine the executable segfaults after curl request
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 15 Aug 2014 07:11:31 +0000
parents 403f0cc65b9c
children 3d22f761a4b7
comparison
equal deleted inserted replaced
2052:15ecf697542b 2053:229a299d739d