diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-13 15:23:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-13 15:23:48 -0500 |
| commit | c6f717a90ca7cede8af4fd7aefd7b69cf069592e (patch) | |
| tree | cec4ab72f97ce79bb10974b6ff714a43381d2e67 /lib/c | |
| parent | 0d98ce87ef495ab8652327866b9a2253cbe824d7 (diff) | |
Combine lib* directories
Diffstat (limited to 'lib/c')
| -rw-r--r-- | lib/c/.dir | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/c/.dir b/lib/c/.dir new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/lib/c/.dir |