Date & Time in tint2

Problem: I wanted the date in the upper righthand corner, dang it. And I had no idea what this tint2 thing was.
Solution: The clock can be changed in a lot of ways.
Main Menu > Settings > tint2 > edit config file
I currently have:

 # Clock  
 time1_format = %a %b %d @ %H:%M