aboutsummaryrefslogtreecommitdiff
path: root/dev/README
diff options
context:
space:
mode:
authorPierre Letouzey2015-01-10 12:10:13 +0100
committerPierre Letouzey2015-01-11 09:56:39 +0100
commitee596bc23be6a95f939169cc8daa132a2c172bbd (patch)
treeb985418e1a9b75e6c054cf9571b572ea0ed04c6e /dev/README
parentedf85b925939cb13ca82a10873ced589164391da (diff)
Extraction: discard code unnecessary to fulfill a module signature
Diffstat (limited to 'dev/README')
0 files changed, 0 insertions, 0 deletions