diff options
author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2017-10-24 16:18:47 +0200 |
---|---|---|
committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2017-10-24 16:18:47 +0200 |
commit | 63f58da054dc5e4aa8291aeaed463aa1fce38f7e (patch) | |
tree | 5a09bc781c3e40b48793ab89c0d88af793b90549 /drivers/unix | |
parent | 43967121378c796f3780c64af4f2da07cf85c54c (diff) |
Exit after generating mono glue
Diffstat (limited to 'drivers/unix')
0 files changed, 0 insertions, 0 deletions