Add missing files to distribution. (6747a19a) · Commits · Why3 / WhyMP · GitLab

Mentions légales du service

Snippets Groups Projects

A GitLab upgrade is scheduled for Monday, April 7, 2025. Service interruptions are expected in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost canal: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Commit 6747a19a authored 5 years ago by Guillaume Melquiond

Add missing files to distribution.

parent 8d905152

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing with 2 additions and 0 deletions

+ 2

− 0

View file @ 6747a19a

	AUTOMAKE_OPTIONS = foreign subdir-objects		AUTOMAKE_OPTIONS = foreign subdir-objects

			EXTRA_DIST = COPYING.md COPYING.GPLv3.md NEWS.md README.md

	lib_LIBRARIES = libwmp.a		lib_LIBRARIES = libwmp.a

	libwmp_a_SOURCES = \		libwmp_a_SOURCES = \
...		...

Please register or to comment