diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-29 12:21:36 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-29 12:21:36 -0700 |
| commit | 0b2e1fe70ff23fdbc532017d0b1d89eb3c542b2f (patch) | |
| tree | 71d1ae333ebc403372bdec19a3e8a0c18263ea35 /spec.txt | |
| parent | 3813179e83e48a82f55d369bc9014bfb64ef6d00 (diff) | |
makespec.py: Use check_output for simpler pipe_through_prog
Diffstat (limited to 'spec.txt')
0 files changed, 0 insertions, 0 deletions