diff options
| author |  Alessandro Ghedini <alessandro@ghedini.me> | 2014-10-15 17:48:47 +0200 |
|---|---|---|
| committer | Alessandro Ghedini <alessandro@ghedini.me> | 2014-10-17 20:47:43 +0200 |
| commit | 3deb6c3d4f49bd8933c2cab2e58752f6d0a33c6e (patch) | |
| tree | aa3fdc29dd79dd3fb7b8dcac4fc21a02300dd8d9 /old-makefile | |
| parent | e0f0f6fe26b7f8d941a20f2c86564b83e5fb52cb (diff) | |
input: implement --input-file on unix using the IPC support
Diffstat (limited to 'old-makefile')
0 files changed, 0 insertions, 0 deletions