diff options
| author | Diego Biurrun <diego@biurrun.de> | 2016-07-29 23:24:27 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2016-08-17 12:16:42 +0200 |
| commit | 00a0419c7f7ebce9010cba93b7ff67c9f1165815 (patch) | |
| tree | ada80362cdc0ee3a38fe81057cc975b9d4cbeff9 /.gitattributes | |
| parent | 5a667322f5cb0e77c15891fc06725c19d8f3314f (diff) | |
| download | ffmpeg-00a0419c7f7ebce9010cba93b7ff67c9f1165815.tar.gz | |
mathematics: Kill non-compiling disabled cruft
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions