Skip to content
GitLab
Explore
Sign in
FP
iris-atomic
Repository
iris-atomic
flat.v
Find file
Blame
History
Permalink
Simplify sequential syncer; use Texan triples
· 79caa21f
Ralf Jung
authored
Nov 02, 2016
requires a new Iris version
79caa21f