diff options
| author | Alon Levy <alon@pobox.com> | 2014-08-18 18:12:28 +0300 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2014-08-18 18:12:28 +0300 |
| commit | b2810baff09a653b3abd3908f67396a69532bcb4 (patch) | |
| tree | f9d546b975c251528ceba2adf1dae2d0130a2415 /scripts/weizmann graph | |
| parent | 8fae9f67951a369ff38d958f19c0712328126903 (diff) | |
add a user setting field; does nothing except set graph.user
Diffstat (limited to 'scripts/weizmann graph')
0 files changed, 0 insertions, 0 deletions