Revision 202f7130dde41cf4260970c8b3e8efb24cf27619 authored by Mohamed Barakat on 11 February 2022, 23:34:22 UTC, committed by GitHub on 11 February 2022, 23:34:22 UTC
bumped versions to trigger releases
OscarTools.gd
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "CommonHomalgTableForOscarTools" );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...