Merge branch 'pi'

# Conflicts: # BUILD.md # fetch_dependencies.sh
better dependencies fetching
2025-11-01 23:02:15 +01:00 · 2025-11-01 22:57:33 +01:00
2 changed files with 3 additions and 1 deletions
--- a/fetch_dependencies.sh
+++ b/fetch_dependencies.sh
@@ -73,6 +73,8 @@ then
    $metarun mkdir libs
 fi
 libversion_artgaphic=0.2.0
 lib_artgaphic=artgaphics-${libversion_artgaphic}.jar
 if [[ ! -e libs/$lib_artgaphic ]]
 then
    lib_artgaphic_source_file=../sharedrawweb/dist/lib/$lib_artgaphic
Author	SHA1	Message	Date
philippe lhardy	180718c36f	Merge branch 'pi' # Conflicts: # BUILD.md # fetch_dependencies.sh	2025-11-01 23:02:15 +01:00
philippe lhardy	2b050cccda	better dependencies fetching - provide git url for sharedrawweb	2025-11-01 22:57:33 +01:00