Eo: Rename Eo_Header to Eo_Base.
authorTom Hacohen <tom@stosb.com>
Fri, 27 Sep 2013 11:01:30 +0000 (12:01 +0100)
committerTom Hacohen <tom@stosb.com>
Fri, 27 Sep 2013 13:01:47 +0000 (14:01 +0100)
commit1059f802bf7972001e258a70ae0ce82ae818cae3
tree9fed9c3ba01a0c18655886af1ec791ab7d4588e2
parent828928601ef1a54b90f685f97621708efbe5b0d6
Eo: Rename Eo_Header to Eo_Base.
src/lib/eo/eo.c
src/lib/eo/eo_private.h
src/lib/eo/eo_ptr_indirection.h
src/lib/eo/eo_ptr_indirection.x