Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
e929c65ffd1d055a9cc6dd37d57344b1d271cc7d
Switch branch/tag
why3
configure.in
Find file
Blame
History
Permalink
Make builds more reproducible (bug #20444).
· e929c65f
Guillaume Melquiond
authored
Jun 10, 2016
The date at which the configure script was run does not carry much information, so get rid of it.
e929c65f
