comparison THIRD-PARTY @ 1402:c1d41dff4583

7901872: Printing only the result "label" in the log is confusing
author shade
date Fri, 23 Dec 2016 16:48:55 +0100
parents c60926972121
children
comparison
equal deleted inserted replaced
0:f2e47d864b58 1:3d839557cab1
26 ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR 26 ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
27 OTHER DEALINGS IN THE SOFTWARE. 27 OTHER DEALINGS IN THE SOFTWARE.
28 28
29 --- end of LICENSE --- 29 --- end of LICENSE ---
30 30
31 %% This notice is provided with respect to ASM v4.2 31 %% This notice is provided with respect to ASM v5.0.3
32 32
33 --- begin of LICENSE --- 33 --- begin of LICENSE ---
34 34
35 Copyright (c) 2000-2011 INRIA, France Telecom 35 Copyright (c) 2000-2011 INRIA, France Telecom
36 All rights reserved. 36 All rights reserved.