diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-04-26 13:19:23 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-04-26 13:19:27 +0200 |
commit | a4078071e0b4d44582407995c81ef6e6a4ced2dc (patch) | |
tree | 87b7ef5aae6bfa75f8db8a0e367aba072b43cd8b /contrib | |
parent | 46880ed2fd961c29b5fe4f841c747951bc706912 (diff) | |
parent | 89c844df14046a114bebec959bd9e188bf8ba21b (diff) |
Merge #7944: Re-instate TARGET_OS=linux in configure.ac. Removed by 351abf9e035.
89c844d Re-instate TARGET_OS=linux in configure.ac. Removed by 351abf9e035. (randy-waterhouse)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions