diff options
| author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2013-11-24 03:21:21 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2013-11-25 17:48:21 +0900 |
| commit | 1593025b9fd3d2acb3e25a42293e6b52c9e767d2 (patch) | |
| tree | 62537d0af652cce5747df8ac97726461c0530abc /doc/source | |
| parent | cafb17781b0666f88dc9cddd24c3e2f946062b46 (diff) | |
run OFP if no application is specified
Keep the old behavior.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions