[ jEdit-devel ] [jedit:plugin-patches] #192 BinEd 0.2.1.2: Initial German language file

[Miroslav H. <ha...@us...>]

Added, thanks.


---

**[plugin-patches:#192] BinEd 0.2.1.2: Initial German language file**

**Status:** open
**Created:** Tue Nov 05, 2024 08:05 PM UTC by Robert Schwenn
**Last Updated:** Tue Nov 05, 2024 08:05 PM UTC
**Owner:** nobody
**Attachments:**

- [lang_de.properties](https://sourceforge.net/p/jedit/plugin-patches/192/attachment/lang_de.properties) (1.0 kB; text/plain)


Hi,
nice plugin. Please consider to integrate the attached file lang_de.properties into the plugin.

Thanks,
Robert


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.