https://gitlab.opengeosys.org/ogs/ogs.git
Revision 43c2433c2ebcbc55420a9d390fa99223011aa4b3 authored by Dmitri Naumov on 22 July 2023, 16:35:19 UTC, committed by Dmitri Naumov on 04 August 2023, 08:08:07 UTC
1 parent 4e86917
Raw File
Tip revision: 43c2433c2ebcbc55420a9d390fa99223011aa4b3 authored by Dmitri Naumov on 22 July 2023, 16:35:19 UTC
[PL/CT] Rename x_dot to x_prev
Tip revision: 43c2433
guix.scm
.guix/modules/ogs-package.scm
back to top