Changeset 38103
- Timestamp:
- 2023-09-11T20:44:27+12:00 (9 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/ext/get-extension.sh
r37458 r38103 12 12 elif [ $ext = "structured-image" ] || [ $ext = "structured-audio" ] ; then 13 13 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk $ext 14 elif [ $ext = "selfcontained-jdk" ] || [ $ext = "selfcontained-rust" ] ; then 15 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk $ext 16 elif [ $ext = "realistic-books" ] ; then 17 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk $ext 14 18 elif [ $ext = "tabletop-dl" ] ; then 15 19 svn co https://svn.greenstone.org/gs3-extensions/$ext/trunk $ext
Note:
See TracChangeset
for help on using the changeset viewer.