diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-29 20:55:44 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-29 21:08:32 +0200 |
| commit | a8dcc38b634530772dc715dedc3c511cec543cef (patch) | |
| tree | 8d0510ef13734e317975ebd714581ee5c0f3263c /dw/fltkplatform.hh | |
| parent | 20a10f03d4b14d68a77db88feea95cfcdbef8d34 (diff) | |
Move version to first paragraph of the manual
When using "git describe" the resulting length of the version is too
long for the header. As we only need to store the version somewhere in
the manual, we place it at the end of the first paragraph.
Diffstat (limited to 'dw/fltkplatform.hh')
0 files changed, 0 insertions, 0 deletions