diff options
Diffstat (limited to 'source3/lua-5.1.4/doc/manual.css')
-rw-r--r-- | source3/lua-5.1.4/doc/manual.css | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/source3/lua-5.1.4/doc/manual.css b/source3/lua-5.1.4/doc/manual.css deleted file mode 100644 index 55683fed5a..0000000000 --- a/source3/lua-5.1.4/doc/manual.css +++ /dev/null @@ -1,12 +0,0 @@ -h3 code { - font-family: inherit ; -} - -pre { - font-size: 105% ; -} - -span.apii { - float: right ; - font-family: inherit ; -} |