diff options
| author | Sebastian Spaeth <Sebastian@SSpaeth.de> | 2012-12-12 13:50:32 +0100 |
|---|---|---|
| committer | Sebastian Spaeth <Sebastian@SSpaeth.de> | 2013-01-16 20:14:55 +0100 |
| commit | c11c1994e61d79c0332f6782a589ea012ecf2473 (patch) | |
| tree | 421e9a1667154374bcba0cb9b4668d4ad53e30f7 /extlib/html5shiv/html5shiv.js | |
| parent | f26c097d3ecb4c6dda476b823d3a567863677d21 (diff) | |
| download | mediagoblin-c11c1994e61d79c0332f6782a589ea012ecf2473.tar.lz mediagoblin-c11c1994e61d79c0332f6782a589ea012ecf2473.tar.xz mediagoblin-c11c1994e61d79c0332f6782a589ea012ecf2473.zip | |
Make Workbench() a context manager
This allows us to use "with Workbench() as foo: do_stuff..."
No consumers have been switched yet though.
Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
Diffstat (limited to 'extlib/html5shiv/html5shiv.js')
0 files changed, 0 insertions, 0 deletions