diff options
| author | John Fultz <jfultz@wolfram.com> | 2015-12-27 14:46:36 -0600 |
|---|---|---|
| committer | John Fultz <jfultz@wolfram.com> | 2015-12-27 14:46:36 -0600 |
| commit | 559774659be664989cecba2e1ed520ed890b971f (patch) | |
| tree | 7b94cb592fc58e87cb637913fda84b0f1b968081 /data | |
| parent | d2a13fb4aa8157a85e7ef1d32074ec89c8b7732a (diff) | |
Fix minor oversight in build instructions.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions