diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-01 22:22:41 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-09-05 07:49:22 +0200 |
| commit | 6a4ba76836a8a0579a6164351e3fa2d14e29aa79 (patch) | |
| tree | b069a4f80fa4a08555efdde9e1251aa2d7c3a7bd /tools/docdump/SCsub | |
| parent | ae9729b6df885eb04c63501b33399d401829a76a (diff) | |
Merge tools/docdump in tools/doc
Reduces clutter in the tools folder.
Diffstat (limited to 'tools/docdump/SCsub')
| -rw-r--r-- | tools/docdump/SCsub | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/docdump/SCsub b/tools/docdump/SCsub deleted file mode 100644 index 34524f10ef..0000000000 --- a/tools/docdump/SCsub +++ /dev/null @@ -1,5 +0,0 @@ -Import('env') - -env.add_source_files(env.tool_sources,"*.cpp") - -Export('env') |