diff options
| author | Michael Stahl <mstahl@redhat.com> | 2012-11-30 21:28:00 +0100 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2012-11-30 21:28:00 +0100 |
| commit | ebb4150463ef97571d8f4ffc0b8189ff94d5cf1a (patch) | |
| tree | 7a1c5bd2194bd10297a95d0a416ef7b292afa9ed /sd/source/core | |
| parent | 0cdc6ea49f0b6d915bf11769991101019e5f7c18 (diff) | |
filter: try to use the Python implementation of FCFGMerge
... seems to work here, and if nobody complains about broken filter
configurations we can remove the Java FCFGMerge implementation.
Change-Id: I0cf2de604bb9c34678174bdf951e70d499ea7df1
Diffstat (limited to 'sd/source/core')
0 files changed, 0 insertions, 0 deletions