Revision 92cd23a4015b2d9ed835e11c8c69710252625e90 authored by Pierre Poulain on 01 December 2022, 15:33:29 UTC, committed by Pierre Poulain on 01 December 2022, 15:33:29 UTC
1 parent 8ca4487
get_data.sh
#! /usr/bin/env bash
# This script downloads the data collection and stores it in the data folder.

Computing file changes ...