diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-07-20 13:02:02 +0800 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-08-07 17:40:46 +0200 |
| commit | a5d7cd1a7fe8b3f3821afbda6e31762c137be7f9 (patch) | |
| tree | a3cb99f89160d950abd5a739ef1cd8cb72185701 /python/servo/devenv_commands.py | |
| parent | aab335e543f52211b2c44f6ed2ebf0cba98ddf97 (diff) | |
| download | servo-a5d7cd1a7fe8b3f3821afbda6e31762c137be7f9.tar.gz servo-a5d7cd1a7fe8b3f3821afbda6e31762c137be7f9.zip | |
use a structured clone holder to store rooted clones
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions