Changeset f0f919d for Makefile.in

Timestamp:
May 26, 2009, 10:31:59 PM (15 years ago)
Author:
Nelson Elhage <nelhage@mit.edu>
Branches:
master, release-1.10, release-1.4, release-1.5, release-1.6, release-1.7, release-1.8, release-1.9
Children:
7451af9
Parents:
5fdab77
git-author:
Alexander W Dehnert <adehnert@mit.edu> (05/26/09 05:39:42)
git-committer:
Nelson Elhage <nelhage@mit.edu> (05/26/09 22:31:59)
Message:
Maintain instance when using shift-R on personals

This holds for all zephyr's on which is_private
is true. I am unsure whether I think this should
be is_personal instead.
(No files)

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