diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-10-09 23:41:05 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-10-09 23:41:05 -0400 |
| commit | 8a834573a5997e7d069f438470d212bc8fa0a05e (patch) | |
| tree | a803d198a8108f474535997f80cc8e93df1c7768 /src/Util | |
| parent | 32112efcb3522acbece4515b849d40973e48c973 (diff) | |
Restore Redirect in comment blocks
They were there for a reason, which is that the embedded python script
has support for automatically picking up the files in /tmp, so it's nice
to be able to just uncomment the block of code to get the files in /tmp
Diffstat (limited to 'src/Util')
0 files changed, 0 insertions, 0 deletions