diff options
author | Martin Mares <mj@ucw.cz> | 2008-10-26 14:14:37 +0100 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2008-10-26 14:14:37 +0100 |
commit | 44cb1449edec6a80e063981a955e8025ee87ea65 (patch) | |
tree | 8052a18d0583c9eecd5705369062b105c814a0b0 /proto/pipe/Doc | |
parent | c94d56cb04b15dc32f54e8e39b877a92d7bda8c5 (diff) |
The top-level Makefile is a generated file, so remove it from the repo.
Diffstat (limited to 'proto/pipe/Doc')
0 files changed, 0 insertions, 0 deletions