diff options
| author | Florian Jung <flo@windfisch.org> | 2011-12-25 16:03:56 +0000 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2011-12-25 16:03:56 +0000 |
| commit | 3b3339b7632165130cc2857be4df4ca47f2d974c (patch) | |
| tree | 41b9d2530f297672dbc671eb3957f81c7e9af435 /muse2/find_manual_plural.sh | |
| parent | c0cf8683409dfb74cae82e4b2adcd457a3e1d2b6 (diff) | |
fixed other editors not being updated when using the "hide all"
etc menu commands
Diffstat (limited to 'muse2/find_manual_plural.sh')
0 files changed, 0 insertions, 0 deletions