https://github.com/janverschelde/PHCpack
Revision dc9dc29cde0be0acd7a1407b207b959ee14215f5 authored by Jan Verschelde on 27 September 2018, 20:24:29 UTC, committed by Jan Verschelde on 27 September 2018, 20:24:29 UTC
1 parent c5fa5d0
Tip revision: dc9dc29cde0be0acd7a1407b207b959ee14215f5 authored by Jan Verschelde on 27 September 2018, 20:24:29 UTC
updated a reference in the list of publication of users
updated a reference in the list of publication of users
Tip revision: dc9dc29
Computing file changes ...