diff options
Diffstat (limited to '')
| -rw-r--r-- | upstream/debian-bookworm/man1/grub-file.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/upstream/debian-bookworm/man1/grub-file.1 b/upstream/debian-bookworm/man1/grub-file.1 index 8283a09c..2bc7ad7f 100644 --- a/upstream/debian-bookworm/man1/grub-file.1 +++ b/upstream/debian-bookworm/man1/grub-file.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.49.3. -.TH GRUB-FILE "1" "October 2023" "GRUB 2.06-13+deb12u1" "User Commands" +.TH GRUB-FILE "1" "February 2024" "GRUB 2.12-1~bpo12+1" "User Commands" .SH NAME grub-file \- check file type .SH SYNOPSIS |