GestionDesInscriptions/.settings/org.eclipse.jdt.ui.prefs

3 lines
79 B
Plaintext
Raw Normal View History

2023-06-28 10:53:27 +02:00
eclipse.preferences.version=1
org.eclipse.jdt.ui.text.custom_code_templates=