From 107afcf3d47daf9fd3ec68a19317ebe7ca295140 Mon Sep 17 00:00:00 2001 From: nker Date: Fri, 16 Dec 2022 11:50:26 +0100 Subject: [PATCH] Pls use utf8 :) --- src/Controller/DiagramTab.java | 2 +- src/Controller/Highlighting.java | 2 +- src/Controller/ProtocolEditor.java | 2 +- src/Controller/SimpleTab.java | 2 +- src/Controller/TraceTab.java | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Controller/DiagramTab.java b/src/Controller/DiagramTab.java index e8658d6..132d239 100644 --- a/src/Controller/DiagramTab.java +++ b/src/Controller/DiagramTab.java @@ -3,7 +3,7 @@ * * Open Source Fixedpoint Model-Checker Graphical User Interface version 2019 * - * (C) Copyright 趌fur J骽ann Edvardsson 2019 + * (C) Copyright 脷lfur J贸hann Edvardsson 2019 * (C) Copyright Veronica Julie Lodskov Hoffmann 2019 * * All Rights Reserved. diff --git a/src/Controller/Highlighting.java b/src/Controller/Highlighting.java index e9c2432..d0bdf47 100644 --- a/src/Controller/Highlighting.java +++ b/src/Controller/Highlighting.java @@ -3,7 +3,7 @@ * * Open Source Fixedpoint Model-Checker Graphical User Interface version 2019 * - * (C) Copyright 趌fur J骽ann Edvardsson 2019 + * (C) Copyright 脷lfur J贸hann Edvardsson 2019 * (C) Copyright Veronica Julie Lodskov Hoffmann 2019 * * All Rights Reserved. diff --git a/src/Controller/ProtocolEditor.java b/src/Controller/ProtocolEditor.java index fdebe1d..ad3c4aa 100644 --- a/src/Controller/ProtocolEditor.java +++ b/src/Controller/ProtocolEditor.java @@ -3,7 +3,7 @@ * * Open Source Fixedpoint Model-Checker Graphical User Interface version 2019 * - * (C) Copyright 趌fur J骽ann Edvardsson 2019 + * (C) Copyright 脷lfur J贸hann Edvardsson 2019 * (C) Copyright Veronica Julie Lodskov Hoffmann 2019 * * All Rights Reserved. diff --git a/src/Controller/SimpleTab.java b/src/Controller/SimpleTab.java index 90d5b2f..9ddfed8 100644 --- a/src/Controller/SimpleTab.java +++ b/src/Controller/SimpleTab.java @@ -3,7 +3,7 @@ * * Open Source Fixedpoint Model-Checker Graphical User Interface version 2019 * - * (C) Copyright 趌fur J骽ann Edvardsson 2019 + * (C) Copyright 脷lfur J贸hann Edvardsson 2019 * (C) Copyright Veronica Julie Lodskov Hoffmann 2019 * * All Rights Reserved. diff --git a/src/Controller/TraceTab.java b/src/Controller/TraceTab.java index 9ab4c93..558ad00 100644 --- a/src/Controller/TraceTab.java +++ b/src/Controller/TraceTab.java @@ -3,7 +3,7 @@ * * Open Source Fixedpoint Model-Checker Graphical User Interface version 2019 * - * (C) Copyright 趌fur J骽ann Edvardsson 2019 + * (C) Copyright 脷lfur J贸hann Edvardsson 2019 * (C) Copyright Veronica Julie Lodskov Hoffmann 2019 * * All Rights Reserved.