diff options
author | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-05-08 21:28:02 +0200 |
---|---|---|
committer | Reinier Zwitserloot <reinier@zwitserloot.com> | 2017-05-29 21:02:54 +0200 |
commit | 8b7a7cbc813653a3248d6cf3a7779e220957bc85 (patch) | |
tree | b9acfb9d68c6866acc3cfb9ee59d72ff43f1ebc3 /website2/resources/robots.txt | |
parent | 72fd50b9f1db1ab6bfc1753ba6a1e686a2f0f22c (diff) | |
download | lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.gz lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.tar.bz2 lombok-8b7a7cbc813653a3248d6cf3a7779e220957bc85.zip |
The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’.
Diffstat (limited to 'website2/resources/robots.txt')
-rw-r--r-- | website2/resources/robots.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/website2/resources/robots.txt b/website2/resources/robots.txt deleted file mode 100644 index af2eebd5..00000000 --- a/website2/resources/robots.txt +++ /dev/null @@ -1,2 +0,0 @@ -User-Agent: * -Disallow: /tmp/ |