https://github.com/homalg-project/homalg_project
Revision 4fde348ee54ea9124853a3db1566e9531f9b262d authored by Mohamed Barakat on 29 October 2015, 15:20:54 UTC, committed by Mohamed Barakat on 29 October 2015, 15:22:54 UTC
1 parent f74d199
History
Tip revision: 4fde348ee54ea9124853a3db1566e9531f9b262d authored by Mohamed Barakat on 29 October 2015, 15:20:54 UTC
do not push in make_dist_for_homalg.sh
Tip revision: 4fde348

back to top