University-of-Basel-Studentprojects/Programmierprojekt
Archived
1
0
Fork 0
Code Issues 17 Pull Requests Actions Wiki Activity

Add bash script to mass-convert drawio files to svg #161

Merged
lars.winzer merged 4 commits from chore/task-to-convert-drawio-to-svg into main 2026-03-09 18:13:37 +01:00
Conversation 3 Commits 4 Files Changed 2
+1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 76c182313e - Show all commits
scripts/export-drawio.sh
+1 -1
View File
@@ -63,7 +63,7 @@ main() {
export_file "$line"
done
echo "✓ Exported all $file_count files"
echo "✓ Exported all files"
}
# Start script at entry point