diff options
Diffstat (limited to '')
| -rw-r--r-- | options/license/Linux-man-pages-1-para | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/options/license/Linux-man-pages-1-para b/options/license/Linux-man-pages-1-para new file mode 100644 index 0000000..6eff908 --- /dev/null +++ b/options/license/Linux-man-pages-1-para @@ -0,0 +1,4 @@ +Permission is granted to distribute possibly modified +copies of this page provided the header is included +verbatim, and in case of nontrivial modification author +and date of the modification is added to the header. |