From: John Darrington Date: Sat, 7 Mar 2009 09:08:49 +0000 (+0900) Subject: Rename identifier and add timestamp for unsaved flag. X-Git-Tag: v0.7.3~247 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=410d0c590c9ce4892cf79c9eec8b01249229dfc4;hp=410d0c590c9ce4892cf79c9eec8b01249229dfc4;p=pspp-builds.git Rename identifier and add timestamp for unsaved flag. ---