2020-07-02 15:09:23 +10:00
|
|
|
<gapi-parser-input>
|
2020-07-22 19:32:38 +02:00
|
|
|
<api filename="GtkSourceSharp-api.xml">
|
2020-07-02 15:09:23 +10:00
|
|
|
<library name="libgtksourceview-4.so">
|
2020-07-13 10:02:59 +10:00
|
|
|
<namespace name="GtkSource">
|
2020-07-02 15:09:23 +10:00
|
|
|
<dir>gtksourceview-4.0.0/gtksourceview</dir>
|
|
|
|
</namespace>
|
|
|
|
</library>
|
|
|
|
</api>
|
|
|
|
</gapi-parser-input>
|