annotate global_id.h @ 70:cee55c8365e9 default tip

fix
author Kazuma
date Thu, 19 May 2016 18:52:26 +0900
parents 6382d8f6a973
children 3acdeb3dc3e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
6382d8f6a973 not working.
koba <koba@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 // global_alloc で使用する ID