diff options
| author | Nick Clifton <nickc@redhat.com> | 2022-08-05 11:29:10 +0100 |
|---|---|---|
| committer | Nick Clifton <nickc@redhat.com> | 2022-08-05 11:29:10 +0100 |
| commit | b51c2fec1da205ea3e7354cbb3e253018d64873c (patch) | |
| tree | cc12c5ce38c6d555982355351c0b33979c08d701 | |
| parent | 749caa2cc374b62d79113a17c988c72bebe6cf0b (diff) | |
Restore accidentally deleted version.texi file
| -rw-r--r-- | gprofng/doc/version.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gprofng/doc/version.texi b/gprofng/doc/version.texi new file mode 100644 index 0000000000..d28216107a --- /dev/null +++ b/gprofng/doc/version.texi @@ -0,0 +1,4 @@ +@set EDITION 1.0 +@set VERSION 1.0 +@set UPDATED 22 February 2022 +@set UPDATED-MONTH February 2022 |