old_contents: #!/usr/bin/env python
  # leds.py
  
  import RPi.GPIO as GPIO
  import time
  
  GPIO.setmode(GPIO.BOARD)
  GPIO.setwarnings(False)
  GPIO.cleanup()
  GPIO.setup(7, GPIO.OUT)
  GPIO.setup(11, GPIO.OUT)
  GPIO.setup(12, GPIO.OUT)
  
  while True:
  	GPIO.output(7, GPIO.HIGH)
  	time.sleep(1)
  	GPIO.output(11, GPIO.HIGH)
  	time.sleep(1)
  	GPIO.output(12, GPIO.HIGH)
  	time.sleep(1)
  
  GPIO.cleanup()
new_contents: #!/usr/bin/env python
  # leds.py
  
  import RPi.GPIO as GPIO
  import time
  
  GPIO.setmode(GPIO.BOARD)
  GPIO.setwarnings(False)
  GPIO.cleanup()
  GPIO.setup(7, GPIO.OUT)
  GPIO.setup(12, GPIO.OUT)
  
  while True:
  	GPIO.output(7, GPIO.HIGH)
  	time.sleep(1)
  	GPIO.output(12, GPIO.HIGH)
  	time.sleep(1)
  
  GPIO.cleanup()
subject: fix @ Sat Sep 27 21:44:01 EDT 2014