| commit | b0a9c4939f08ee9aef4b7737df81436b3e174181 | [log] [tgz] |
|---|---|---|
| author | Thomas Guiu <thomas.guiu@soyatec.com> | Fri Dec 17 14:53:24 2010 +0000 |
| committer | Thomas Guiu <thomas.guiu@soyatec.com> | Fri Dec 17 14:53:24 2010 +0000 |
| tree | 2c35c9606caeb2d640fa350a2c4ee24428620b12 | |
| parent | 08474479b34bd67460d92462c0bd9bf3279ca039 [diff] |
remove refresh at the end of pattern builder work