diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-10-29 08:52:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-10-29 08:52:56 +0000 |
| commit | c679b08b38679a2da3b89d1501a90c7bc1497e53 (patch) | |
| tree | 958ffb209ed78f2fdccf20afd19416f68283db03 /src/runtime/javascript/editor-grammar | |
| parent | 377ce1732d3f25577b8162d92787315da5701bb3 (diff) | |
use prob_t instead of float in a few places
Diffstat (limited to 'src/runtime/javascript/editor-grammar')
0 files changed, 0 insertions, 0 deletions