Merge device-mngr branch into default.
authorGerd Zellweger <zgerd@student.ethz.ch>
Wed, 22 Feb 2012 13:00:42 +0000 (14:00 +0100)
committerGerd Zellweger <zgerd@student.ethz.ch>
Wed, 22 Feb 2012 13:00:42 +0000 (14:00 +0100)
commit37318f4301f758bc09f85df319d4a496edce6209
treec79f8767b71087d3fd263649e47746cd3870eab0
parent3ee096fb7f3c3bcdae66b3065c1cb7f29634118f
parentbf2613d0f4c42b7efe16974bb5637384a0bd6d05
Merge device-mngr branch into default.
if/dist2.if
include/dist2/getset.h
include/dist2_server/service.h
lib/dist2/client/getset.c