16 Jun, 2010 - 1 commit

Generate AUTHORS file with a script · f84f9490

John Koleszar authored 14 years ago

This information is in git, so it's better to use that as a source than
updating this file manually. This script can be run manually at release
time for now, or we can set up a cron job sometime in the future.

Change-Id: I0344135ceb9c04ed14e2e2d939a93194e35973db

f84f9490

Menu

Explore