diff options
author | Michael Bien <[email protected]> | 2010-04-07 23:48:52 +0200 |
---|---|---|
committer | Michael Bien <[email protected]> | 2010-04-07 23:48:52 +0200 |
commit | 1b955b7d72dfd14e9b04a9fefc27ee424fbfe93f (patch) | |
tree | 1361070d88be5bbedba25e68397c5753e4f26cb5 /.idea/copyright/profiles_settings.xml | |
parent | 54e6fc34b40f6772a65282c9053035454cb3abca (diff) |
removed idea project from repository, updated idea jocl module.
Diffstat (limited to '.idea/copyright/profiles_settings.xml')
-rw-r--r-- | .idea/copyright/profiles_settings.xml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.idea/copyright/profiles_settings.xml b/.idea/copyright/profiles_settings.xml deleted file mode 100644 index 3572571a..00000000 --- a/.idea/copyright/profiles_settings.xml +++ /dev/null @@ -1,5 +0,0 @@ -<component name="CopyrightManager"> - <settings default=""> - <module2copyright /> - </settings> -</component>
\ No newline at end of file |