diff options
| author | Diego Biurrun <diego@biurrun.de> | 2013-06-20 13:42:21 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2013-06-23 12:24:31 +0200 |
| commit | ace87c19ed4c4882d7b9b3ce512c4c195e39a203 (patch) | |
| tree | 9e685cd6179d26beeadd980353f3880a28d4ef4f /doc/general.texi | |
| parent | 6dc6598692da3b0ebda2d768681786343f26a4f4 (diff) | |
configure: whitespace cosmetics
Diffstat (limited to 'doc/general.texi')
0 files changed, 0 insertions, 0 deletions