.
This commit is contained in:
parent
2e5539eeb9
commit
3207700754
5 changed files with 95 additions and 79 deletions
|
|
@ -1,5 +1,5 @@
|
|||
(* rudimentary recfile parser
|
||||
https://www.gnu.org/software/recutils/manual/recutils.html#The-Rec-Format *)
|
||||
(* very rudimentary recfile parser
|
||||
https://www.gnu.org/software/recutils/manual/recutils.html#The-Rec-Format *)
|
||||
|
||||
open Angstrom
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue