From: Eric B. <er...@us...> - 2012-04-05 22:44:54
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 084c04fcb3f3b33698ae3a4741be01d6d26ecf59 (commit) from d1fe67389da248f793e5ce235a10dce77eb35334 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 084c04fcb3f3b33698ae3a4741be01d6d26ecf59 Author: Eric Bezault <er...@go...> Date: Fri Apr 6 00:44:08 2012 +0200 Add options for 'void_safety' and 'attached_by_default'. ----------------------------------------------------------------------- Summary of changes: doc/gexace/options.txt | 75 ++++++++ library/tools/xace/ast/et_xace_option_names.e | 180 ++++++++++---------- .../tools/xace/generator/et_xace_ecf_generator.e | 4 +- 3 files changed, 166 insertions(+), 93 deletions(-) hooks/post-receive -- gobo-eiffel |