commit | 80f1a4b507e27dd6064066021fa805b23fad2a67 | [log] [tgz] |
---|---|---|
author | Tony Mack <tmack@tux.cs.princeton.edu> | Wed Sep 24 10:08:51 2014 -0400 |
committer | Tony Mack <tmack@tux.cs.princeton.edu> | Wed Sep 24 10:08:51 2014 -0400 |
tree | 0c80ba47c52b822f190b1f7231774861b974e611 | |
parent | 36fd7a01f4d597ac286e0d72e408a3a73c9070b9 [diff] |
set sliver name in save()