Skip to content

Commit 72b550a

Browse files
samschreibersamschreiber
committed
Get rid of an unnecessary immediate ggp-base directory.
1 parent ec3e217 commit 72b550a

File tree

417 files changed

+0
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

417 files changed

+0
-0
lines changed

‎ggp-base/.classpath renamed to ‎.classpath

File renamed without changes.

‎ggp-base/.gitignore renamed to ‎.gitignore

File renamed without changes.

‎ggp-base/.project renamed to ‎.project

File renamed without changes.

‎ggp-base/.settings/org.eclipse.jdt.core.prefs renamed to ‎.settings/org.eclipse.jdt.core.prefs

File renamed without changes.

‎ggp-base/.settings/org.eclipse.ltk.core.refactoring.prefs renamed to ‎.settings/org.eclipse.ltk.core.refactoring.prefs

File renamed without changes.

‎ggp-base/README renamed to ‎README

File renamed without changes.

‎ggp-base/build.xml renamed to ‎build.xml

File renamed without changes.

‎ggp-base/cleanup.sh renamed to ‎cleanup.sh

File renamed without changes.

‎ggp-base/games/games/connectFour/METADATA renamed to ‎games/games/connectFour/METADATA

File renamed without changes.

‎ggp-base/games/games/connectFour/connectFour.js renamed to ‎games/games/connectFour/connectFour.js

File renamed without changes.

‎ggp-base/games/games/connectFour/connectFour.kif renamed to ‎games/games/connectFour/connectFour.kif

File renamed without changes.

‎ggp-base/games/games/connectFour/connectFour.txt renamed to ‎games/games/connectFour/connectFour.txt

File renamed without changes.

‎ggp-base/games/games/connectFour/connectFour.xsl renamed to ‎games/games/connectFour/connectFour.xsl

File renamed without changes.

‎ggp-base/games/games/ticTacToe/METADATA renamed to ‎games/games/ticTacToe/METADATA

File renamed without changes.

‎ggp-base/games/games/ticTacToe/ticTacToe.js renamed to ‎games/games/ticTacToe/ticTacToe.js

File renamed without changes.

‎ggp-base/games/games/ticTacToe/ticTacToe.kif renamed to ‎games/games/ticTacToe/ticTacToe.kif

File renamed without changes.

‎ggp-base/games/games/ticTacToe/ticTacToe.txt renamed to ‎games/games/ticTacToe/ticTacToe.txt

File renamed without changes.

‎ggp-base/games/games/ticTacToe/ticTacToe.xsl renamed to ‎games/games/ticTacToe/ticTacToe.xsl

File renamed without changes.

‎ggp-base/games/resources/images/checkers/black_king.png renamed to ‎games/resources/images/checkers/black_king.png

File renamed without changes.

‎ggp-base/games/resources/images/checkers/crown.png renamed to ‎games/resources/images/checkers/crown.png

File renamed without changes.

‎ggp-base/games/resources/images/checkers/red_king.png renamed to ‎games/resources/images/checkers/red_king.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_Bishop.png renamed to ‎games/resources/images/chess/Black_Bishop.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_King.png renamed to ‎games/resources/images/chess/Black_King.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_Knight.png renamed to ‎games/resources/images/chess/Black_Knight.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_Pawn.png renamed to ‎games/resources/images/chess/Black_Pawn.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_Queen.png renamed to ‎games/resources/images/chess/Black_Queen.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/Black_Rook.png renamed to ‎games/resources/images/chess/Black_Rook.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_Bishop.png renamed to ‎games/resources/images/chess/White_Bishop.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_King.png renamed to ‎games/resources/images/chess/White_King.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_Knight.png renamed to ‎games/resources/images/chess/White_Knight.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_Pawn.png renamed to ‎games/resources/images/chess/White_Pawn.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_Queen.png renamed to ‎games/resources/images/chess/White_Queen.png

File renamed without changes.

‎ggp-base/games/resources/images/chess/White_Rook.png renamed to ‎games/resources/images/chess/White_Rook.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/black.png renamed to ‎games/resources/images/discs/black.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/blue.png renamed to ‎games/resources/images/discs/blue.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/green.png renamed to ‎games/resources/images/discs/green.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/grey.png renamed to ‎games/resources/images/discs/grey.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/orange.png renamed to ‎games/resources/images/discs/orange.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/purple.png renamed to ‎games/resources/images/discs/purple.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/red.png renamed to ‎games/resources/images/discs/red.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/teal.png renamed to ‎games/resources/images/discs/teal.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/white.png renamed to ‎games/resources/images/discs/white.png

File renamed without changes.

‎ggp-base/games/resources/images/discs/yellow.png renamed to ‎games/resources/images/discs/yellow.png

File renamed without changes.

‎ggp-base/games/resources/images/pentago/BlueCircleArrowCCW.png renamed to ‎games/resources/images/pentago/BlueCircleArrowCCW.png

File renamed without changes.

‎ggp-base/games/resources/images/pentago/BlueCircleArrowCW.png renamed to ‎games/resources/images/pentago/BlueCircleArrowCW.png

File renamed without changes.

‎ggp-base/games/test/connectFour.kif renamed to ‎games/test/connectFour.kif

File renamed without changes.

‎ggp-base/games/test/simpleMutex.kif renamed to ‎games/test/simpleMutex.kif

File renamed without changes.

‎ggp-base/games/test/test_case_1a.kif renamed to ‎games/test/test_case_1a.kif

File renamed without changes.

‎ggp-base/games/test/test_case_1b.kif renamed to ‎games/test/test_case_1b.kif

File renamed without changes.

‎ggp-base/games/test/test_case_2a.kif renamed to ‎games/test/test_case_2a.kif

File renamed without changes.

‎ggp-base/games/test/test_case_2b.kif renamed to ‎games/test/test_case_2b.kif

File renamed without changes.

‎ggp-base/games/test/test_case_2c.kif renamed to ‎games/test/test_case_2c.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3a.kif renamed to ‎games/test/test_case_3a.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3b.kif renamed to ‎games/test/test_case_3b.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3c.kif renamed to ‎games/test/test_case_3c.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3d.kif renamed to ‎games/test/test_case_3d.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3e.kif renamed to ‎games/test/test_case_3e.kif

File renamed without changes.

‎ggp-base/games/test/test_case_3f.kif renamed to ‎games/test/test_case_3f.kif

File renamed without changes.

‎ggp-base/games/test/test_case_4a.kif renamed to ‎games/test/test_case_4a.kif

File renamed without changes.

‎ggp-base/games/test/test_case_5a.kif renamed to ‎games/test/test_case_5a.kif

File renamed without changes.

‎ggp-base/games/test/test_case_5b.kif renamed to ‎games/test/test_case_5b.kif

File renamed without changes.

‎ggp-base/games/test/test_case_5c.kif renamed to ‎games/test/test_case_5c.kif

File renamed without changes.

‎ggp-base/games/test/test_clean_not_distinct.kif renamed to ‎games/test/test_clean_not_distinct.kif

File renamed without changes.

‎ggp-base/games/test/test_distinct_beginning_rule.kif renamed to ‎games/test/test_distinct_beginning_rule.kif

File renamed without changes.

‎ggp-base/games/test/test_invalid_function_arities_differ.kif renamed to ‎games/test/test_invalid_function_arities_differ.kif

File renamed without changes.

‎ggp-base/games/test/test_invalid_sentence_arities_differ.kif renamed to ‎games/test/test_invalid_sentence_arities_differ.kif

File renamed without changes.

‎ggp-base/games/test/ticTacToe.kif renamed to ‎games/test/ticTacToe.kif

File renamed without changes.

‎ggp-base/licences/FlyingSaucer/LICENSE renamed to ‎licences/FlyingSaucer/LICENSE

File renamed without changes.

‎ggp-base/licences/FlyingSaucer/LICENSE-LGPL-2.1.txt renamed to ‎licences/FlyingSaucer/LICENSE-LGPL-2.1.txt

File renamed without changes.

‎ggp-base/licences/FlyingSaucer/LICENSE-W3C-TEST renamed to ‎licences/FlyingSaucer/LICENSE-W3C-TEST

File renamed without changes.

‎ggp-base/licences/JSON/LICENSE renamed to ‎licences/JSON/LICENSE

File renamed without changes.

‎ggp-base/licences/JTidy/LICENSE renamed to ‎licences/JTidy/LICENSE

File renamed without changes.

‎ggp-base/licences/Jython/LICENSE renamed to ‎licences/Jython/LICENSE

File renamed without changes.

‎ggp-base/licences/JythonConsole/COPYING.txt renamed to ‎licences/JythonConsole/COPYING.txt

File renamed without changes.

‎ggp-base/licences/LICENSE renamed to ‎licences/LICENSE

File renamed without changes.

‎ggp-base/overview.html renamed to ‎overview.html

File renamed without changes.

‎ggp-base/src/external/Base64Coder/Base64Coder.java renamed to ‎src/external/Base64Coder/Base64Coder.java

File renamed without changes.

‎ggp-base/src/external/Clojure/clojure.jar renamed to ‎src/external/Clojure/clojure.jar

File renamed without changes.

‎ggp-base/src/external/FlyingSaucer/core-renderer.jar renamed to ‎src/external/FlyingSaucer/core-renderer.jar

File renamed without changes.

‎ggp-base/src/external/Guava/guava-14.0.1.jar renamed to ‎src/external/Guava/guava-14.0.1.jar

File renamed without changes.

‎ggp-base/src/external/JFreeChart/jcommon-1.0.17.jar renamed to ‎src/external/JFreeChart/jcommon-1.0.17.jar

File renamed without changes.

‎ggp-base/src/external/JFreeChart/jfreechart-1.0.14.jar renamed to ‎src/external/JFreeChart/jfreechart-1.0.14.jar

File renamed without changes.

‎ggp-base/src/external/JGoodiesForms/forms-1.2.1.jar renamed to ‎src/external/JGoodiesForms/forms-1.2.1.jar

File renamed without changes.

‎ggp-base/src/external/JSON/JSONArray.java renamed to ‎src/external/JSON/JSONArray.java

File renamed without changes.

‎ggp-base/src/external/JSON/JSONException.java renamed to ‎src/external/JSON/JSONException.java

File renamed without changes.

‎ggp-base/src/external/JSON/JSONObject.java renamed to ‎src/external/JSON/JSONObject.java

File renamed without changes.

‎ggp-base/src/external/JSON/JSONString.java renamed to ‎src/external/JSON/JSONString.java

File renamed without changes.

‎ggp-base/src/external/JSON/JSONTokener.java renamed to ‎src/external/JSON/JSONTokener.java

File renamed without changes.

‎ggp-base/src/external/JSON/README renamed to ‎src/external/JSON/README

File renamed without changes.

‎ggp-base/src/external/JTidy/Tidy.jar renamed to ‎src/external/JTidy/Tidy.jar

File renamed without changes.

‎ggp-base/src/external/Jython/jython.jar renamed to ‎src/external/Jython/jython.jar

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/consoles/ClojureConsole.java renamed to ‎src/org/ggp/base/apps/consoles/ClojureConsole.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/consoles/PythonConsole.java renamed to ‎src/org/ggp/base/apps/consoles/PythonConsole.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/GameCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/GameCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/GameGUI.java renamed to ‎src/org/ggp/base/apps/kiosk/GameGUI.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/Kiosk.java renamed to ‎src/org/ggp/base/apps/kiosk/Kiosk.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/KioskGamer.java renamed to ‎src/org/ggp/base/apps/kiosk/KioskGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/MoveSelectedEvent.java renamed to ‎src/org/ggp/base/apps/kiosk/MoveSelectedEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BattleCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BattleCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BiddingTicTacToeCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BiddingTicTacToeCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BlockerCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BlockerCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BlokboxSimpleCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BlokboxSimpleCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BreakthroughCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BreakthroughCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BreakthroughHolesCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BreakthroughHolesCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/BreakthroughSmallCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/BreakthroughSmallCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/CephalopodCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/CephalopodCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/CheckersCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/CheckersCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/CheckersSmallCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/CheckersSmallCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/CheckersTinyCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/CheckersTinyCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/ChessCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/ChessCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/ChickenTicTacToeCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/ChickenTicTacToeCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/ConnectFiveCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/ConnectFiveCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/ConnectFourCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/ConnectFourCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/FFACanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/FFACanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/GoldenRectangleCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/GoldenRectangleCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/KnightFightCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/KnightFightCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/KnightthroughCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/KnightthroughCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/NumberTicTacToeCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/NumberTicTacToeCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/PawnWhoppingCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/PawnWhoppingCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/PentagoCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/PentagoCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TTCC4Canvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TTCC4Canvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TTCC4SmallCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TTCC4SmallCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TTCCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TTCCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TTTxNineCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TTTxNineCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas_Reference.java renamed to ‎src/org/ggp/base/apps/kiosk/games/TicTacToeCanvas_Reference.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/templates/CommonGraphics.java renamed to ‎src/org/ggp/base/apps/kiosk/templates/CommonGraphics.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/templates/GameCanvas_Chessboard.java renamed to ‎src/org/ggp/base/apps/kiosk/templates/GameCanvas_Chessboard.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/templates/GameCanvas_FancyGrid.java renamed to ‎src/org/ggp/base/apps/kiosk/templates/GameCanvas_FancyGrid.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/kiosk/templates/GameCanvas_SimpleGrid.java renamed to ‎src/org/ggp/base/apps/kiosk/templates/GameCanvas_SimpleGrid.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/logging/LogSummarizer.java renamed to ‎src/org/ggp/base/apps/logging/LogSummarizer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/Player.java renamed to ‎src/org/ggp/base/apps/player/Player.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/PlayerRunner.java renamed to ‎src/org/ggp/base/apps/player/PlayerRunner.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/ProxiedPlayerRunner.java renamed to ‎src/org/ggp/base/apps/player/ProxiedPlayerRunner.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/config/ConfigPanel.java renamed to ‎src/org/ggp/base/apps/player/config/ConfigPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/config/EmptyConfigPanel.java renamed to ‎src/org/ggp/base/apps/player/config/EmptyConfigPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/detail/DetailPanel.java renamed to ‎src/org/ggp/base/apps/player/detail/DetailPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/detail/EmptyDetailPanel.java renamed to ‎src/org/ggp/base/apps/player/detail/EmptyDetailPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/detail/SimpleDetailPanel.java renamed to ‎src/org/ggp/base/apps/player/detail/SimpleDetailPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/match/MatchPanel.java renamed to ‎src/org/ggp/base/apps/player/match/MatchPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/player/network/NetworkPanel.java renamed to ‎src/org/ggp/base/apps/player/network/NetworkPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/Server.java renamed to ‎src/org/ggp/base/apps/server/Server.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/error/ErrorPanel.java renamed to ‎src/org/ggp/base/apps/server/error/ErrorPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/history/HistoryPanel.java renamed to ‎src/org/ggp/base/apps/server/history/HistoryPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/leaderboard/LeaderboardPanel.java renamed to ‎src/org/ggp/base/apps/server/leaderboard/LeaderboardPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/scheduling/PendingMatch.java renamed to ‎src/org/ggp/base/apps/server/scheduling/PendingMatch.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/scheduling/Scheduler.java renamed to ‎src/org/ggp/base/apps/server/scheduling/Scheduler.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/scheduling/SchedulingPanel.java renamed to ‎src/org/ggp/base/apps/server/scheduling/SchedulingPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/states/StatesPanel.java renamed to ‎src/org/ggp/base/apps/server/states/StatesPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/visualization/VisualizationPanel.java renamed to ‎src/org/ggp/base/apps/server/visualization/VisualizationPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/server/visualization/VizContainerPanel.java renamed to ‎src/org/ggp/base/apps/server/visualization/VizContainerPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm.java renamed to ‎src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm_Test.java renamed to ‎src/org/ggp/base/apps/tiltyard/TiltyardRequestFarm_Test.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/utilities/GameServerRunner.java renamed to ‎src/org/ggp/base/apps/utilities/GameServerRunner.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/utilities/SampleKeys.json renamed to ‎src/org/ggp/base/apps/utilities/SampleKeys.json

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/utilities/SimpleGameSim.java renamed to ‎src/org/ggp/base/apps/utilities/SimpleGameSim.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/BatchValidator.java renamed to ‎src/org/ggp/base/apps/validator/BatchValidator.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/OutcomePanel.java renamed to ‎src/org/ggp/base/apps/validator/OutcomePanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/Validator.java renamed to ‎src/org/ggp/base/apps/validator/Validator.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/ValidatorThread.java renamed to ‎src/org/ggp/base/apps/validator/ValidatorThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/event/ValidatorFailureEvent.java renamed to ‎src/org/ggp/base/apps/validator/event/ValidatorFailureEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/apps/validator/event/ValidatorSuccessEvent.java renamed to ‎src/org/ggp/base/apps/validator/event/ValidatorSuccessEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/GamePlayer.java renamed to ‎src/org/ggp/base/player/GamePlayer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/event/PlayerDroppedPacketEvent.java renamed to ‎src/org/ggp/base/player/event/PlayerDroppedPacketEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/event/PlayerReceivedMessageEvent.java renamed to ‎src/org/ggp/base/player/event/PlayerReceivedMessageEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/event/PlayerSentMessageEvent.java renamed to ‎src/org/ggp/base/player/event/PlayerSentMessageEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/event/PlayerTimeEvent.java renamed to ‎src/org/ggp/base/player/event/PlayerTimeEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/Gamer.java renamed to ‎src/org/ggp/base/player/gamer/Gamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/clojure/ClojureGamer.java renamed to ‎src/org/ggp/base/player/gamer/clojure/ClojureGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/clojure/ClojureGamer_Test.java renamed to ‎src/org/ggp/base/player/gamer/clojure/ClojureGamer_Test.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/clojure/stubs/SampleClojureGamerStub.java renamed to ‎src/org/ggp/base/player/gamer/clojure/stubs/SampleClojureGamerStub.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/event/GamerAbortedMatchEvent.java renamed to ‎src/org/ggp/base/player/gamer/event/GamerAbortedMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/event/GamerCompletedMatchEvent.java renamed to ‎src/org/ggp/base/player/gamer/event/GamerCompletedMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/event/GamerNewMatchEvent.java renamed to ‎src/org/ggp/base/player/gamer/event/GamerNewMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/event/GamerSelectedMoveEvent.java renamed to ‎src/org/ggp/base/player/gamer/event/GamerSelectedMoveEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/event/GamerUnrecognizedMatchEvent.java renamed to ‎src/org/ggp/base/player/gamer/event/GamerUnrecognizedMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/exception/AbortingException.java renamed to ‎src/org/ggp/base/player/gamer/exception/AbortingException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/exception/GamePreviewException.java renamed to ‎src/org/ggp/base/player/gamer/exception/GamePreviewException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/exception/MetaGamingException.java renamed to ‎src/org/ggp/base/player/gamer/exception/MetaGamingException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/exception/MoveSelectionException.java renamed to ‎src/org/ggp/base/player/gamer/exception/MoveSelectionException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/exception/StoppingException.java renamed to ‎src/org/ggp/base/player/gamer/exception/StoppingException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/python/PythonGamer.java renamed to ‎src/org/ggp/base/player/gamer/python/PythonGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/python/PythonGamer_Test.java renamed to ‎src/org/ggp/base/player/gamer/python/PythonGamer_Test.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/python/stubs/SamplePythonGamerStub.java renamed to ‎src/org/ggp/base/player/gamer/python/stubs/SamplePythonGamerStub.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/StateMachineGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/StateMachineGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/human/HumanGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/human/HumanGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/human/event/HumanNewMovesEvent.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/human/event/HumanNewMovesEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/human/event/HumanTimeoutEvent.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/human/event/HumanTimeoutEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/human/gui/HumanDetailPanel.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/human/gui/HumanDetailPanel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/random/RandomGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/random/RandomGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/sample/SampleGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/sample/SampleGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/sample/SampleLegalGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/sample/SampleLegalGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/sample/SampleMonteCarloGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/sample/SampleMonteCarloGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/sample/SampleNoopGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/sample/SampleNoopGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/gamer/statemachine/sample/SampleSearchLightGamer.java renamed to ‎src/org/ggp/base/player/gamer/statemachine/sample/SampleSearchLightGamer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/proxy/ProxyGamePlayer.java renamed to ‎src/org/ggp/base/player/proxy/ProxyGamePlayer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/proxy/ProxyGamePlayerClient.java renamed to ‎src/org/ggp/base/player/proxy/ProxyGamePlayerClient.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/proxy/ProxyMessage.java renamed to ‎src/org/ggp/base/player/proxy/ProxyMessage.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/proxy/WorkingResponseSelectedEvent.java renamed to ‎src/org/ggp/base/player/proxy/WorkingResponseSelectedEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/factory/RequestFactory.java renamed to ‎src/org/ggp/base/player/request/factory/RequestFactory.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/factory/exceptions/RequestFormatException.java renamed to ‎src/org/ggp/base/player/request/factory/exceptions/RequestFormatException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/AbortRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/AbortRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/InfoRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/InfoRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/PlayRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/PlayRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/PreviewRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/PreviewRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/Request.java renamed to ‎src/org/ggp/base/player/request/grammar/Request.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/StartRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/StartRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/player/request/grammar/StopRequest.java renamed to ‎src/org/ggp/base/player/request/grammar/StopRequest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/GameServer.java renamed to ‎src/org/ggp/base/server/GameServer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerAbortedMatchEvent.java renamed to ‎src/org/ggp/base/server/event/ServerAbortedMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerCompletedMatchEvent.java renamed to ‎src/org/ggp/base/server/event/ServerCompletedMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerConnectionErrorEvent.java renamed to ‎src/org/ggp/base/server/event/ServerConnectionErrorEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerIllegalMoveEvent.java renamed to ‎src/org/ggp/base/server/event/ServerIllegalMoveEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerMatchUpdatedEvent.java renamed to ‎src/org/ggp/base/server/event/ServerMatchUpdatedEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerNewGameStateEvent.java renamed to ‎src/org/ggp/base/server/event/ServerNewGameStateEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerNewMatchEvent.java renamed to ‎src/org/ggp/base/server/event/ServerNewMatchEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerNewMovesEvent.java renamed to ‎src/org/ggp/base/server/event/ServerNewMovesEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerTimeEvent.java renamed to ‎src/org/ggp/base/server/event/ServerTimeEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/event/ServerTimeoutEvent.java renamed to ‎src/org/ggp/base/server/event/ServerTimeoutEvent.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/request/RequestBuilder.java renamed to ‎src/org/ggp/base/server/request/RequestBuilder.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/AbortRequestThread.java renamed to ‎src/org/ggp/base/server/threads/AbortRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/PlayRequestThread.java renamed to ‎src/org/ggp/base/server/threads/PlayRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/PreviewRequestThread.java renamed to ‎src/org/ggp/base/server/threads/PreviewRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/RandomPlayRequestThread.java renamed to ‎src/org/ggp/base/server/threads/RandomPlayRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/RequestThread.java renamed to ‎src/org/ggp/base/server/threads/RequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/StartRequestThread.java renamed to ‎src/org/ggp/base/server/threads/StartRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/server/threads/StopRequestThread.java renamed to ‎src/org/ggp/base/server/threads/StopRequestThread.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/AllTests.java renamed to ‎src/org/ggp/base/test/AllTests.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/GameParsingTests.java renamed to ‎src/org/ggp/base/test/GameParsingTests.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/GdlCleanerTests.java renamed to ‎src/org/ggp/base/test/GdlCleanerTests.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/NoTabsInRulesheetsTest.java renamed to ‎src/org/ggp/base/test/NoTabsInRulesheetsTest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/ProverStateMachineTests.java renamed to ‎src/org/ggp/base/test/ProverStateMachineTests.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/test/StaticValidationTests.java renamed to ‎src/org/ggp/base/test/StaticValidationTests.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/concurrency/ConcurrencyUtils.java renamed to ‎src/org/ggp/base/util/concurrency/ConcurrencyUtils.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/configuration/GamerConfiguration.java renamed to ‎src/org/ggp/base/util/configuration/GamerConfiguration.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/configuration/ProjectConfiguration.java renamed to ‎src/org/ggp/base/util/configuration/ProjectConfiguration.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/BaseCryptography.java renamed to ‎src/org/ggp/base/util/crypto/BaseCryptography.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/BaseHashing.java renamed to ‎src/org/ggp/base/util/crypto/BaseHashing.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/CanonicalJSON.java renamed to ‎src/org/ggp/base/util/crypto/CanonicalJSON.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/SignableJSON.java renamed to ‎src/org/ggp/base/util/crypto/SignableJSON.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/Test_BaseCryptography.java renamed to ‎src/org/ggp/base/util/crypto/Test_BaseCryptography.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/Test_CanonicalJSON.java renamed to ‎src/org/ggp/base/util/crypto/Test_CanonicalJSON.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/crypto/Test_SignableJSON.java renamed to ‎src/org/ggp/base/util/crypto/Test_SignableJSON.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/files/FileUtils.java renamed to ‎src/org/ggp/base/util/files/FileUtils.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/CloudGameRepository.java renamed to ‎src/org/ggp/base/util/game/CloudGameRepository.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/Game.java renamed to ‎src/org/ggp/base/util/game/Game.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/GameRepository.java renamed to ‎src/org/ggp/base/util/game/GameRepository.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/LocalGameRepository.java renamed to ‎src/org/ggp/base/util/game/LocalGameRepository.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/RemoteGameRepository.java renamed to ‎src/org/ggp/base/util/game/RemoteGameRepository.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/game/TestGameRepository.java renamed to ‎src/org/ggp/base/util/game/TestGameRepository.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/GdlUtils.java renamed to ‎src/org/ggp/base/util/gdl/GdlUtils.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/GdlValidator.java renamed to ‎src/org/ggp/base/util/gdl/GdlValidator.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/GdlVisitor.java renamed to ‎src/org/ggp/base/util/gdl/GdlVisitor.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/GdlVisitors.java renamed to ‎src/org/ggp/base/util/gdl/GdlVisitors.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/factory/GdlFactory.java renamed to ‎src/org/ggp/base/util/gdl/factory/GdlFactory.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/factory/exceptions/GdlFormatException.java renamed to ‎src/org/ggp/base/util/gdl/factory/exceptions/GdlFormatException.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/Gdl.java renamed to ‎src/org/ggp/base/util/gdl/grammar/Gdl.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlConstant.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlConstant.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlDistinct.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlDistinct.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlFunction.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlFunction.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlLiteral.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlLiteral.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlNot.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlNot.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlOr.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlOr.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlPool.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlPool.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlProposition.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlProposition.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlRelation.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlRelation.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlRule.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlRule.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlSentence.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlSentence.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlTerm.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlTerm.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/grammar/GdlVariable.java renamed to ‎src/org/ggp/base/util/gdl/grammar/GdlVariable.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/AbstractSentenceDomainModel.java renamed to ‎src/org/ggp/base/util/gdl/model/AbstractSentenceDomainModel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/AbstractSentenceForm.java renamed to ‎src/org/ggp/base/util/gdl/model/AbstractSentenceForm.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/CartesianSentenceFormDomain.java renamed to ‎src/org/ggp/base/util/gdl/model/CartesianSentenceFormDomain.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/DependencyGraphs.java renamed to ‎src/org/ggp/base/util/gdl/model/DependencyGraphs.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/DependencyGraphsTest.java renamed to ‎src/org/ggp/base/util/gdl/model/DependencyGraphsTest.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/FullSentenceFormDomain.java renamed to ‎src/org/ggp/base/util/gdl/model/FullSentenceFormDomain.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/GameFlow.java renamed to ‎src/org/ggp/base/util/gdl/model/GameFlow.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/GameFlowTester.java renamed to ‎src/org/ggp/base/util/gdl/model/GameFlowTester.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/ImmutableSentenceDomainModel.java renamed to ‎src/org/ggp/base/util/gdl/model/ImmutableSentenceDomainModel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/ImmutableSentenceFormModel.java renamed to ‎src/org/ggp/base/util/gdl/model/ImmutableSentenceFormModel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceDomainModel.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceDomainModel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceDomainModelFactory.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceDomainModelFactory.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceDomainModelOptimizer.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceDomainModelOptimizer.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceDomainModels.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceDomainModels.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceForm.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceForm.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceFormDomain.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceFormDomain.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceFormModel.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceFormModel.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceFormModelFactory.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceFormModelFactory.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceForms.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceForms.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceFormsFinder.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceFormsFinder.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SentenceModelUtils.java renamed to ‎src/org/ggp/base/util/gdl/model/SentenceModelUtils.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/SimpleSentenceForm.java renamed to ‎src/org/ggp/base/util/gdl/model/SimpleSentenceForm.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AddibleFunctionInfo.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AddibleFunctionInfo.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentFunction.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentFunction.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentIterationPlan.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentIterationPlan.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentIterator.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentIterator.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentIteratorImpl.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentIteratorImpl.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/Assignments.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/Assignments.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentsFactory.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentsFactory.java

File renamed without changes.

‎ggp-base/src/org/ggp/base/util/gdl/model/assignments/AssignmentsImpl.java renamed to ‎src/org/ggp/base/util/gdl/model/assignments/AssignmentsImpl.java

File renamed without changes.

0 commit comments

Comments
 (0)