https://gitlab.liris.cnrs.fr/gdamiand/generic-query-modify
Tip revision: 69edcd4963d23dcc3e17de17c68ec456e12f1f42 authored by Guillaume Damiand on 21 July 2025, 07:58:39 UTC
script
script
Tip revision: 69edcd4
zip-for-hal.sh
#!/bin/bash
#
zip -r generic-query-modify.zip AUTHORS LICENSE INSTALLATION.md README.md RUN.md teaser.png CMakeLists.txt src/ data/ external_libs/
