diff options
| author | Tomas Chvatal <scarabeus@gentoo.org> | 2009-05-16 12:30:18 +0200 |
|---|---|---|
| committer | Tomas Chvatal <scarabeus@gentoo.org> | 2009-05-16 12:30:18 +0200 |
| commit | a98ab25ee9fc7df8a4244e8f65e7940df089b44f (patch) | |
| tree | 7a13a7156723ad744503be645ceb51b0557262a2 /src/server/publicServer.h | |
| parent | c89d294c0c0c6c8555dc142f78adeae33f995284 (diff) | |
Rename WITH_SERVER onto BUILD_SERVER to describe the operation more precisely
Diffstat (limited to 'src/server/publicServer.h')
0 files changed, 0 insertions, 0 deletions