diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-30 23:05:16 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-30 23:05:16 (GMT) |
| commit | b72f00e30beff60e2ec551c4ed57d048061f1716 (patch) | |
| tree | e094e7e7c952a347f865416015d621c464078ac2 /docs | |
| parent | 63d88df04012ee923cce24905f5f914cae3b9c31 (diff) | |
Integrate control panel in the build so that I can actually
distcheck.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions