diff options
| author | Alon Levy <alon@pobox.com> | 2014-11-02 18:35:07 +0200 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2014-11-03 15:19:30 +0200 |
| commit | 3d47fdfa2ff4b627084206fd83441d8a3873d075 (patch) | |
| tree | f9baafbed3869056112d835ecd5ea4d012fb968c /scripts/external/jquery-ui.js | |
| parent | e895a92c6bebd686074b8a75ac2dfe1dbabfc654 (diff) | |
change id to be distinct from name
TODO: introduce a Node class split from the Graph.
TODO: use a GUID and not just an incrementing number (trivial change).
Diffstat (limited to 'scripts/external/jquery-ui.js')
0 files changed, 0 insertions, 0 deletions