diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-14 08:41:28 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-14 08:41:28 +0200 |
| commit | 544b5775c876175d33b7d14cd8efba615b8a50f7 (patch) | |
| tree | 2fb503356682c0ad0fb941ac9154de15bc46157a /src/engine/MANIFEST-xml.in | |
| parent | 85dbcc01ae3f6b10849aa71faef6946d8e16d55f (diff) | |
| parent | 3023c58e287f26f5672cf5ddf991ba3197d1efb6 (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'src/engine/MANIFEST-xml.in')
| -rw-r--r-- | src/engine/MANIFEST-xml.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/engine/MANIFEST-xml.in b/src/engine/MANIFEST-xml.in deleted file mode 100644 index cfbfd3a..0000000 --- a/src/engine/MANIFEST-xml.in +++ /dev/null @@ -1,8 +0,0 @@ -SCons/*.xml -SCons/Platform/*.xml -SCons/Scanner/__init__.xml -SCons/Script/*.xml -SCons/Tool/*.xml -SCons/Tool/docbook/__init__.xml -SCons/Tool/docbook/utils/xmldepend.xsl -SCons/Tool/packaging/__init__.xml |