diff options
| author | Sander Vesik <sander@src.gnome.org> | 2002-06-07 00:12:38 +0000 |
|---|---|---|
| committer | Sander Vesik <sander@src.gnome.org> | 2002-06-07 00:12:38 +0000 |
| commit | bdc758868bf454927713861f129dfa6989547261 (patch) | |
| tree | 94feadd24aeaea01dd757b7edcff0be7a1e80f2c /configure.in | |
| parent | d0b5baacdf3d0e388b55dfd6126401a88a626725 (diff) | |
| download | gnome-user-docs-bdc758868bf454927713861f129dfa6989547261.tar.gz gnome-user-docs-bdc758868bf454927713861f129dfa6989547261.tar.xz gnome-user-docs-bdc758868bf454927713861f129dfa6989547261.zip | |
Make sure the extra omf files get installed
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions