diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-03-09 14:23:44 +0200 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-03-09 14:23:44 +0200 |
| commit | 5f3bf35e01a0eb5d7c31949bcd32265be056ed5c (patch) | |
| tree | 1741da632146a590177e65b9eddedf98609373a2 /docs | |
| parent | 6f8dbc73eb3e595934751f5b33c7f61a902e946a (diff) | |
Switch alltypes.proto to use the new .options file mechanism.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions