projects / libcds.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of /scratch/mine/libcds
[libcds.git] / tools / make_distrib.bat
1 \r
2 cd ..\r
3 perl -X tools/make_distrib.pl\r
4 cd tools
Unnamed repository; edit this file 'description' to name the repository.