diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T09·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-08T09·59+0000 |
| commit | 85a913a3e78e43f7f90ef46ac041350bb5d61d1f (patch) | |
| tree | 6b1352f3392636f91f671397b3f2776dd6f9a5a9 /src/fstate.cc | |
| parent | 0b38b43bab28dd733e057d42853d57e44ec9a7c9 (diff) | |
* Renamed `id' -> `name' to remove the implication of uniqueness.
Diffstat (limited to 'src/fstate.cc')
0 files changed, 0 insertions, 0 deletions