diff options
author | Tor Egge <Tor.Egge@broadpark.no> | 2017-06-14 15:25:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-14 15:25:42 +0200 |
commit | de4988e9d4dec944a77239478361ee598b1fa3a9 (patch) | |
tree | c0fc02e0185993fe5a145ac7ea682526f3b97c78 /document | |
parent | f9b18232d463b0e9f331279ce7f7d01143d64a2e (diff) | |
parent | ba448cedab84a165536be2e72decee02f6ce2aef (diff) |
Merge pull request #2771 from yahoo/bratseth/remove-unnecessary-files
Remove unnecessary files
Diffstat (limited to 'document')
-rw-r--r-- | document/AUTHORS | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/document/AUTHORS b/document/AUTHORS deleted file mode 100644 index d88ca23dc13..00000000000 --- a/document/AUTHORS +++ /dev/null @@ -1,5 +0,0 @@ -thomasg -bratseth -fledsbo -borud -larschri |