Revision ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC, committed by Software Heritage on 17 October 2018, 13:20:37 UTC
0 parent
.header
-*- tuareg -*-
Copyright (C) 2017,2018 Yann Régis-Gianas, Nicolas Jeannerod,
Ralf Treinen.
This is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License, version 3.
Additional terms apply, due to the reproduction of portions of
the POSIX standard. Please refer to the file COPYING for details.
Computing file changes ...
