# # Default robots.txt file for trading.bitfinex.com # User-agent: *