diff options
| author | Yann E. MORIN <[email protected]> | 2013-06-24 20:01:37 +0200 |
|---|---|---|
| committer | Yann E. MORIN <[email protected]> | 2013-06-24 20:01:37 +0200 |
| commit | a1ce636f560336ba007bfabb15b167ff31b592cf (patch) | |
| tree | 8bf5160c723b2bff7d24d48ea7307623ca075627 /lib/mpi | |
| parent | 193b40aeb537b59eaa36e3dfaabedc2025332ebf (diff) | |
kconfig/[mn]conf: make it explicit in the search box that a regexp is possible
Reported-by: Jean Delvare <[email protected]>
Signed-off-by: "Yann E. MORIN" <[email protected]>
Cc: Jean Delvare <[email protected]>
Cc: Michal Marek <[email protected]>
Diffstat (limited to 'lib/mpi')
0 files changed, 0 insertions, 0 deletions