diff src/ui_menu.h @ 914:9427c91951e8

basic infrastructure for early error and dangerous operations checking it needs more work
author nadvornik
date Tue, 22 Jul 2008 21:46:08 +0000
parents 48c8e49b571c
children 1646720364cf
line wrap: on
line diff