diff options
| author |  Daniel M. Katz <katzdm@gmail.com> | 2018-02-09 11:27:47 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-02-09 11:27:47 -0500 |
| commit | 4791df7d1ac966e6c7abdeffafa5030d718500df (patch) | |
| tree | 164ee15643c59328fd61f1476ebac48ad2d9d08e /WORKSPACE | |
| parent | 8311b41974e50f2753921ba986bbd188f9bc28a0 (diff) | |
| parent | 4f45903993aa8cb23bfc565c245980f6bd704fb0 (diff) | |
Merge pull request #91 from gjasny/printf-attributes
Annotate printf-like functions as such
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions