Commit 74263850 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Merge branch 'flocq-2.2'

parents 87e5c9d8 b55d5167
Version 2.2.2:
- fixed install target for case-insensitive filesystems
Version 2.2.1:
- fixed regeneration of Flocq_version.v
......
......@@ -31,6 +31,8 @@ FILES = \
OBJS = $(addprefix src/,$(addsuffix o,$(FILES)))
.PHONY: all clean dist doc install
all: $(OBJS)
Remakefile: Remakefile.in config.status
......
AC_INIT([Flocq], [2.2.1],
AC_INIT([Flocq], [2.2.2],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq])
......
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment