diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-29 18:32:06 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-29 18:32:06 +0200 |
| commit | 6a7530c71882967b90946ef91a2f546dd4a380df (patch) | |
| tree | ba2e3da330b6535a731aefdf7b5939673b16d299 /tools/doc | |
| parent | 7d262947af09303394a440700d13590a275271fd (diff) | |
| parent | 51be9beec9c38a8cd5a0f9a42a8258484aece9fb (diff) | |
Merge pull request #4812 from neikeq/pr-search-bar
ScriptEditor/ShaderEditor: Replace find/replace dialog with a bar
Diffstat (limited to 'tools/doc')
0 files changed, 0 insertions, 0 deletions