fanch be6f353867 Merge branch 'master' into ok_shortcut ...

# Conflicts:
#	forge-gui-desktop/src/main/java/forge/toolbox/FOptionPane.java

2024-10-18 15:47:10 +02:00

..

src

Merge branch 'master' into ok_shortcut

2024-10-18 15:47:10 +02:00

pom.xml

Manually update files that need to be updated

2024-10-14 21:53:45 -04:00

sentry.properties

initial Sentry integration

2018-09-02 11:30:38 -06:00