mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
try adding readme again
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
70d4f32ffd
commit
91837c3aee
|
@ -149,7 +149,7 @@ class Env:
|
|||
unpack(self.packages, self.symbols, self.arch)
|
||||
mk_targets(self.source_root)
|
||||
mk_icon(self.source_root)
|
||||
# mk_readme(self.source_root)
|
||||
mk_readme(self.source_root)
|
||||
create_nuget_spec(self.version, self.repo, self.branch, self.commit, self.symbols, self.arch)
|
||||
|
||||
def main():
|
||||
|
|
Loading…
Reference in a new issue