diff options
| author | Micael Karlberg <[email protected]> | 2011-10-25 10:19:42 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-10-25 10:19:42 +0200 |
| commit | 3326bd4efa5ff4965a1bab2f6451a4bf47ca0ebb (patch) | |
| tree | 95aa428125631bef50881885ec70a6dd602e3fa9 /erts/configure.in | |
| parent | 5dc64cffb084e8abc6e5908025833481331f38de (diff) | |
| download | otp-3326bd4efa5ff4965a1bab2f6451a4bf47ca0ebb.tar.gz otp-3326bd4efa5ff4965a1bab2f6451a4bf47ca0ebb.tar.bz2 otp-3326bd4efa5ff4965a1bab2f6451a4bf47ca0ebb.zip | |
Upped the version number. Some cosmetics related to the
profile tool.
Diffstat (limited to 'erts/configure.in')
0 files changed, 0 insertions, 0 deletions