Index of man/

 size  last-changed      name  

 2,2K  2026-08-17 17:41  index.html   
 2,2K  2026-08-17 17:41  index-size.html   
  349  2026-08-17 17:41  index-time.html   
 4,0K  2026-08-17 17:40  ./   
 4,0K  2026-08-17 17:40  ../   
 5,5K  2026-08-17 17:35  include.zmm   
 1,8K  2026-08-17 16:36  dr_init.1   
 3,7K  2026-08-17 16:36  dr_init.html   
 1,7K  2026-08-17 16:34  dr_init.azm   
 1,2K  2026-08-17 16:25  Makefile   
 7,2K  2026-08-17 16:24  draai.1   
  15K  2026-08-17 16:24  draai.html   
 5,5K  2026-08-17 15:34  draai.azm   
 2,9K  2026-02-22 10:37  dr_permutate.1   
 3,9K  2026-02-22 10:37  dr_symlinks.1   
 5,7K  2026-02-22 10:37  dr_symlinks.html   
 4,3K  2026-02-22 10:37  dr_unsort.1   
 6,0K  2026-02-22 10:37  dr_unsort.html   
 1,9K  2026-02-22 10:37  dr_watch.1   
 3,7K  2026-02-22 10:37  dr_watch.html   
 3,6K  2023-09-20 11:48  dr_symlinks.azm   
 4,1K  2023-09-20 11:48  dr_unsort.azm   
 1,8K  2023-09-20 11:48  dr_watch.azm   
 4,1K  2023-09-20 11:48  include.zmm.in