Shawn Pearce 5047911dba Rename DEFS files to *.defs ... The build system used mixed names for essentially the same things. Rename all DEFS files to *.defs matching the handful of other files that are already using this convention. Change-Id: I3269bd5db5d8d83f5e192ea910f19431c2a4a1cf		2013-07-30 17:18:33 +00:00
..
.settings	Option to show relative times in changes table	2013-04-01 12:15:15 +02:00
src	Merge "Allows explicit login with auth.type = HTTP*"	2013-07-30 07:55:24 +00:00
.gitignore	Add Intellij IDEA files to ignore list	2012-05-03 13:17:43 -07:00
BUCK	Rename DEFS files to *.defs	2013-07-30 17:18:33 +00:00
gwt.defs	Rename DEFS files to *.defs	2013-07-30 17:18:33 +00:00