X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=augeas.mli;h=bada127ed7959d19740f268720d6980175828876;hb=4064f0ec2e3e65b9a611ff7a9721bd3977a010eb;hp=3fe1e87f036dd69507195927d369ce147f7bfcea;hpb=e078b8d80273f7b1df94b4acc2eca2f6f44a0a66;p=ocaml-augeas.git diff --git a/augeas.mli b/augeas.mli index 3fe1e87..bada127 100644 --- a/augeas.mli +++ b/augeas.mli @@ -29,6 +29,9 @@ type flag = | AugSaveBackup (** Rename original with .augsave *) | AugSaveNewFile (** Save changes to .augnew *) | AugTypeCheck (** Type-check lenses *) + | AugNoStdinc + | AugSaveNoop + | AugNoLoad (** Flags passed to the {!create} function. *) type path = string