diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-02-08 07:33:19 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-02-08 07:33:19 +0100 |
| commit | 6546ee1d63fe84f9fc5f9589788cc8c2ece9d6d1 (patch) | |
| tree | e1f3f4a80f30a8f597aad474ff777fae55ad9c1e /tools/doc | |
| parent | c6971308e76a1fdf8d4f72e43f8515a0754b0e14 (diff) | |
| parent | 87be775b0d2560b845c1aa99d79c9ffdba81acdb (diff) | |
Merge pull request #3494 from blackwc/exclude_export
add feature to exclude files from export
Diffstat (limited to 'tools/doc')
0 files changed, 0 insertions, 0 deletions