Be_Graphe/be-graphes-gui/.settings/org.eclipse.jdt.apt.core.prefs
2023-05-24 13:41:49 +02:00

2 lines
67 B
INI

eclipse.preferences.version=1
org.eclipse.jdt.apt.aptEnabled=false