diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-15 17:57:17 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-15 17:57:17 (EDT) |
| commit | f1ae939a22d07a873a5e1e139763baefa2f0581d (patch) | |
| tree | f0b0c3a603d328db3df5e3f31b9bd2dad1823172 /.gitignore | |
| parent | 7f4e10ef7d07caa9fa263c0ff8ff1f8c73bb20c9 (diff) | |
ob_match_plat(): Add back plat:all check.
This was removed in commit 34c2432.
This might be useful someday. Now both ob_match_plat() and
ob_plat_is_concerned() check for this.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions