ViewVC logotype

Revision 45589

Jump to revision: Previous Next
Author: manus
Date: Mon Sep 13 23:45:12 2004 UTC (15 years, 5 months ago)
Changed paths: 1
Log Message:
Fixed incorrect post-condition of `remove_all_tool_windows' which forgot to
  take into account that `all_tool_windows' maybe Void.

Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/interface/new_graphical/windows/eb_development_window.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23