diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-01-10 10:10:44 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-01-10 21:02:09 +0100 |
| commit | 44a8b17556464306d6de0ff9cc6907fd7971fba8 (patch) | |
| tree | 85f448dadcc821b1f50c508fc4b8063b371824ef /doc/manual/introduction | |
| parent | 7af5f70139d85cae773a4cd58b0708363bf44f9a (diff) | |
Revert "Remove some bashisms from configure.ac"
This reverts commit e8b0efdcc9d6329b299937790360cac8b9b256c9.
Diffstat (limited to 'doc/manual/introduction')
0 files changed, 0 insertions, 0 deletions