Tim Ledbetter 17fe2c4822 pkill: Add -O option to filter processes by age ... This option allows the user to specify a number of seconds. Only processes older than the given number of seconds are killed.		2023-06-16 07:22:45 +02:00
..
man1	pkill: Add -O option to filter processes by age	2023-06-16 07:22:45 +02:00
man2	Kernel+Userland: Split bind-mounting and re-mounting from mount syscall	2023-05-17 23:39:15 -06:00
man3	Everywhere: Clean up "the the" comment typos	2022-11-03 17:38:32 +00:00
man4	Documentation: Move IPC endpoint documentation to manpage section 4	2022-07-11 11:35:56 +02:00
man5	Everywhere: Run spellcheck on all documentation	2023-05-07 01:05:09 +02:00
man6	Everywhere: Run spellcheck on all documentation	2023-05-07 01:05:09 +02:00
man7	Base: Update Assistant & Tips-and-Tricks manpages	2023-06-07 00:57:14 +02:00
man8	Base: Add man page for ping	2023-05-16 12:56:11 +02:00