diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-12 18:12:11 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-12 18:12:18 -0500 |
| commit | 362114a95855497568694c59cb0f5a72d2c30d29 (patch) | |
| tree | 68c14d054c74f650f940d08f8b17a76e3ecf9aff /src/main/interactive_shell.h | |
| parent | def03e574f84ecc127b2a4c6865aea3100371599 (diff) | |
Some additional explanation for a common configure error.
Diffstat (limited to 'src/main/interactive_shell.h')
0 files changed, 0 insertions, 0 deletions