package get_line

  1. Overview
  2. Docs
Robustly select lines from file; can replace the head and tail shell commands and do even more

Install

Dune Dependency

Authors

Maintainers

Sources

v7.0.0.tar.gz
md5=0b4a5754f63e8bb84fcd729a7b7d03e1