Changeset 36705

Timestamp:
Jan 12, 2007, 1:43:13 PM (16 years ago)
Author:
Hartmut Kaiser
Message:

Improved error handling for #pragma option push/pop.

(No files)

Note: See TracChangeset for help on using the changeset viewer.