diff options
| author | Simon Ogorodnik <sem-oro@yandex.ru> | 2016-11-01 02:10:32 +0300 |
|---|---|---|
| committer | Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com> | 2016-11-01 14:46:01 +0300 |
| commit | 769701f99a1aefbc9d385c1938c9c7d3a7b2e38e (patch) | |
| tree | c3ea4802d9e627c90870808aba9343eb224a114c /.idea/libraries/jdom.xml | |
| parent | 08bcaa257f7b48929af6ee29007dd6f0d7bb1b52 (diff) | |
| download | dokka-769701f99a1aefbc9d385c1938c9c7d3a7b2e38e.tar.gz dokka-769701f99a1aefbc9d385c1938c9c7d3a7b2e38e.tar.bz2 dokka-769701f99a1aefbc9d385c1938c9c7d3a7b2e38e.zip | |
Total build refactoring, prepare for new development iteration
Removed old and useless build helpers
Remove old .xml's from .idea and add .idea/shelf to .gitignore
build-docs.xml fixed, dokka_version set to 0.9.10
Diffstat (limited to '.idea/libraries/jdom.xml')
| -rw-r--r-- | .idea/libraries/jdom.xml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.idea/libraries/jdom.xml b/.idea/libraries/jdom.xml deleted file mode 100644 index 54b3420d..00000000 --- a/.idea/libraries/jdom.xml +++ /dev/null @@ -1,9 +0,0 @@ -<component name="libraryTable"> - <library name="jdom"> - <CLASSES> - <root url="jar://$PROJECT_DIR$/lib/jdom.jar!/" /> - </CLASSES> - <JAVADOC /> - <SOURCES /> - </library> -</component>
\ No newline at end of file |