Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/origin_cs.h @ 274:d14eb393023d
fix generate_stub
author | mir3636 |
---|---|
date | Wed, 01 Feb 2017 18:13:47 +0900 |
parents | 421ea91dd76c |
children |
author | mir3636 |
---|---|
date | Wed, 01 Feb 2017 18:13:47 +0900 |
parents | 421ea91dd76c |
children |