mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
add TBD marker
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1713259c3d
commit
1cc2cc0143
|
@ -1839,6 +1839,7 @@ class DotNetCoreDLLComponent(Component):
|
|||
self.key_file = default_key_file
|
||||
|
||||
def mk_pkg_config_file(self):
|
||||
# TBD revise
|
||||
"""
|
||||
Create pkgconfig file for the dot net bindings. These
|
||||
are needed by Monodevelop.
|
||||
|
|
Loading…
Reference in a new issue