Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
cduce
cduce
Repository
cduce
Makefile.distrib
Find file
Blame
History
Permalink
[r2005-06-25 15:20:09 by beppe] put $VERSION in a distinct files so it can be included also when
· af47acbf
Pietro Abate
authored
Oct 05, 2007
building the pdf manual Original author: beppe Date: 2005-06-25 15:20:09+00:00
af47acbf