Add 'bottom-up' logging level.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:31:00 +0000 (14:31 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:31:00 +0000 (14:31 +0200)
commitff7893db153ecd86099fab1c71be475dcc8272bf
tree533d3ee6a1922d92bc60224e8484dc254d5aaf3a
parentd3db422b91ed145abd0eccb83e96c97d6431fac6
Add 'bottom-up' logging level.
src/logger.ml