To find the state of this project's repository at the time of any of these versions, check out the tags.
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
* record.c (record_resume_siggnal): Deleted. (record_resume): Ditto. (record_wait): Change record_resume_siggnal to TARGET_SIGNAL_0.
* record.c (record_resume_siggnal): Deleted. (record_resume): Ditto. (record_wait): Change record_resume_siggnal to TARGET_SIGNAL_0.