X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=febootstrap_package_handlers.ml;h=ad3a233ab17858d10aee307778a372877e060474;hb=cae4aad47dfa49a541a5df463ce35c05e4678de4;hp=72bb172b69399a372a14998e67b35fdc3da61ba0;hpb=66a9d53e48f14d7fe1d9f4b801a1c5582d83efa6;p=febootstrap.git diff --git a/febootstrap_package_handlers.ml b/febootstrap_package_handlers.ml index 72bb172..ad3a233 100644 --- a/febootstrap_package_handlers.ml +++ b/febootstrap_package_handlers.ml @@ -33,6 +33,7 @@ and file_type = { ft_config : bool; ft_ghost : bool; ft_mode : int; + ft_size : int; } let tmpdir = tmpdir ()