diff options
| author | Ondrej Filip <feela@network.cz> | 2004-06-23 21:36:55 +0000 |
|---|---|---|
| committer | Ondrej Filip <feela@network.cz> | 2004-06-23 21:36:55 +0000 |
| commit | 973cf09c3b311691d063a00f52be7e9b8bdec376 (patch) | |
| tree | fffb94fcad904a3eea86b9a7935f67b673366628 /doc/old/status.tex | |
| parent | 3fe5f8990764b33cc0245317e90fbbcd0cde84de (diff) | |
Hotfix to problem with metric change reported by Luca.
Diffstat (limited to 'doc/old/status.tex')
0 files changed, 0 insertions, 0 deletions