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

..

java

Update Buck

2013-07-26 18:11:51 -07:00

BUCK

Move Eclipse related stuff into tools/eclipse

2013-05-10 12:42:54 -07:00

prolog.defs

Rename DEFS files to *.defs

2013-07-30 17:18:33 +00:00