diff options
-rw-r--r-- | doc/c-extensions (renamed from doc/extensions) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/extensions b/doc/c-extensions index db2ba7d77..db2ba7d77 100644 --- a/doc/extensions +++ b/doc/c-extensions |
index : ~b0le/xserver | ||
Unnamed repository; edit this file to name it for gitweb. | b0le |
summaryrefslogtreecommitdiff |
-rw-r--r-- | doc/c-extensions (renamed from doc/extensions) | 0 |
diff --git a/doc/extensions b/doc/c-extensions index db2ba7d77..db2ba7d77 100644 --- a/doc/extensions +++ b/doc/c-extensions |