Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Flocq
flocq
Commits
b55d5167
Commit
b55d5167
authored
Dec 17, 2013
by
Guillaume Melquiond
Browse files
New release.
parent
828ac48f
Changes
2
Hide whitespace changes
Inline
Side-by-side
NEWS
View file @
b55d5167
Version 2.2.2:
- fixed install target for case-insensitive filesystems
Version 2.2.1:
Version 2.2.1:
- fixed regeneration of Flocq_version.v
- fixed regeneration of Flocq_version.v
...
...
configure.in
View file @
b55d5167
AC_INIT([Flocq], [2.2.
1
],
AC_INIT([Flocq], [2.2.
2
],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[flocq])
[flocq])
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment