Fix #4072. IDS reports now include filename.

2026-08-14 11:24:19 +00:00 · 2023-12-04 17:26:57 +11:00
parent 8b72929d22
commit ff0d6c810f
5 changed files with 39 additions and 19 deletions
@@ -16,6 +16,8 @@
 # You should have received a copy of the GNU Lesser General Public License
 # along with IfcPatch.  If not, see <http://www.gnu.org/licenses/>.

+import ifcopenshell
+

 class Patcher:
    def __init__(self, src, file, logger):