diff options
| author | mbkma <[email protected]> | 2020-10-04 18:09:56 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-10-19 10:59:44 +0200 |
| commit | 0830446ca167e24e3105bb76fcf5aabc13608b54 (patch) | |
| tree | 22e0154a981ab80e7f2d11702e61fe522b127094 /plugins/externaltools | |
| parent | ae86d50d909e7e20b856107614b255104c8850a6 (diff) | |
| download | pluma-0830446ca167e24e3105bb76fcf5aabc13608b54.tar.bz2 pluma-0830446ca167e24e3105bb76fcf5aabc13608b54.tar.xz | |
Remove pluma-marshal.
These days we can use the automatic ffi marshalling.
See:
- https://developer.gnome.org/gobject/stable/gobject-Signals.html#g-signal-new
- http://sourceware.org/libffi/
- https://gitlab.gnome.org/GNOME/gedit/-/commit/373adb7d041b0559953d0ac8cf2213ecc44db956
Diffstat (limited to 'plugins/externaltools')
0 files changed, 0 insertions, 0 deletions