|
From: | Paul Garlick |
Subject: | [bug#36615] [PATCH] gnu: Add opencascade-occt. |
Date: | Tue, 16 Jul 2019 22:32:18 +0100 |
Hi Ludo, > OK to push with these changes, thank you! Pushed as commit 37dc29200c44adc0474476b8df46ed44e8a1d41a. Thanks! Paul.
[Prev in Thread] | Current Thread | [Next in Thread] |