diff options
| author | Diego Biurrun <diego@biurrun.de> | 2013-08-01 14:41:34 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2013-08-02 19:19:02 +0200 |
| commit | 79be2c325c5ee8f7ac9e28399e51986ebe99bb3c (patch) | |
| tree | 94e970921e7bb24e0c3bd322385cdf6434754e96 /doc/git-howto.txt | |
| parent | b5a138652ff8a5b987d3e1191e67fd9f6575527e (diff) | |
| download | ffmpeg-79be2c325c5ee8f7ac9e28399e51986ebe99bb3c.tar.gz | |
doc/print_options: Move options headers to a saner place
Diffstat (limited to 'doc/git-howto.txt')
0 files changed, 0 insertions, 0 deletions