6 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	957c3be02f	build errors/warnings ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-03-16 16:52:18 -07:00
Nikolaj Bjorner	038971c029	Revert "api: dotnet: switch to multi-targeting project and modern cmake-dotnet integration."	2019-01-16 10:21:56 -08:00
Yatao Li	c77af6b75f	api: dotnet: switch to multi-targeting project and modern cmake-dotnet ... integration.	2018-09-10 02:49:22 +08:00
Dan Liew	28eb21442e	Bump the copyright year in `AssemblyInfo.cs.in`. Perhaps we should ... automatically generate this year during the configure step with a ``@COPYRIGHT_END_YEAR@`` substitution instead?	2015-12-14 09:51:45 +00:00
Dan Liew	288fb3b7c1	Remove some trailing spaces in `AssemblyInfo.cs.in`	2015-12-14 09:51:45 +00:00
Dan Liew	81c98cf3ee	Refactor `mk_all_assembly_infos() to use the configure_file()` ... function. The old implementation was buggy under Python 3.5 and unsafe (not using with statements on calls to ``open()``).	2015-12-14 09:51:45 +00:00

Renamed from src/api/dotnet/Properties/AssemblyInfo (Browse further)