search

garrigue / lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit
https://garrigue.github.io/lablgtk
Other
89 stars 40 forks source link

Fix camlp4 remnants #98

Closed XVilka closed 4 years ago

XVilka commented 4 years ago

A small forgotten piece, was overlooked in the PR https://github.com/garrigue/lablgtk/pull/89/files#diff-841676c740ac07e0a91de48a7f9babde

ejgallego commented 4 years ago

This is unused at the moment (iianm it was supposed to be used in a new implementation of the framework) so indeed we didn't overlook it, but it just doesn't matter until work on that approach restarts.

ejgallego commented 4 years ago

Anyways this is a trivial PR so let's merge.