[vala] Deleted branch 789-add-a-vapi-to-gir-utility
- From: Rico Tzschichholz <ricotz src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [vala] Deleted branch 789-add-a-vapi-to-gir-utility
- Date: Wed, 1 May 2019 07:05:36 +0000 (UTC)
The branch '789-add-a-vapi-to-gir-utility' was deleted.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
