diff options
| author | Ben Elliston <bje@gnu.org> | 2016-02-15 11:12:17 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-02-15 11:12:17 +1100 |
| commit | 5913a39435cbb508ece0557bd48a5a6cc2b055b2 (patch) | |
| tree | 8197e5896e227a96bae890e23eefbc61bf6a2beb /site.tmpl | |
| parent | e3d0bafb18ebf56cad1822dafc4332643903b084 (diff) | |
| download | dejagnu-5913a39435cbb508ece0557bd48a5a6cc2b055b2.tar.gz dejagnu-5913a39435cbb508ece0557bd48a5a6cc2b055b2.tar.bz2 dejagnu-5913a39435cbb508ece0557bd48a5a6cc2b055b2.zip | |
* lib/framework.exp (cleanup): Remove do-nothing proc.
(log_and_exit): Remove call to cleanup.
* doc/ref.xml: Remove documentation for cleanup.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'site.tmpl')
0 files changed, 0 insertions, 0 deletions