Changeset 37009
- Timestamp:
- 2022-12-09T22:51:55+13:00 (6 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/ext/get-extension.sh
r36836 r37009 5 5 if [ $ext = "mars-src" ] || [ $ext = "mars" ] ; then 6 6 svn co https://svn.greenstone.org/gs3-extensions/mars-src/trunk mars 7 elif [ $ext = "structured-image" ] || [ $ext = "structured-audio" ] ; then 8 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk $ext 7 9 else 8 10 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk/src $ext
Note:
See TracChangeset
for help on using the changeset viewer.