eclipse.preferences.version=1
encoding//Debug/driverlib/MSP430F5xx_6xx/subdir_rules.mk=UTF-8
encoding//Debug/driverlib/MSP430F5xx_6xx/subdir_vars.mk=UTF-8
encoding//Debug/makefile=UTF-8
encoding//Debug/objects.mk=UTF-8
encoding//Debug/sources.mk=UTF-8
encoding//Debug/subdir_rules.mk=UTF-8
encoding//Debug/subdir_vars.mk=UTF-8
encoding//Debug_Proof/driverlib/MSP430F5xx_6xx/subdir_rules.mk=UTF-8
encoding//Debug_Proof/driverlib/MSP430F5xx_6xx/subdir_vars.mk=UTF-8
encoding//Debug_Proof/makefile=UTF-8
encoding//Debug_Proof/objects.mk=UTF-8
encoding//Debug_Proof/sources.mk=UTF-8
encoding//Debug_Proof/subdir_rules.mk=UTF-8
encoding//Debug_Proof/subdir_vars.mk=UTF-8
