diff options
| author | Björn Gustavsson <[email protected]> | 2016-05-02 09:03:47 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-05-02 09:03:47 +0200 |
| commit | 2f9408fbd12c9a91a48f2157f075a369b99b66a5 (patch) | |
| tree | 2ec3acb67653b68ab3eb1b9b076f69e59392f7ba /lib/jinterface/.settings/org.eclipse.jdt.ui.prefs | |
| parent | a8667f3fcdd4ee1f59f4826d148dd0838680eda9 (diff) | |
| parent | b2eebcb97bdaec6d4520c6f016a3c2d626cf0625 (diff) | |
| download | otp-2f9408fbd12c9a91a48f2157f075a369b99b66a5.tar.gz otp-2f9408fbd12c9a91a48f2157f075a369b99b66a5.tar.bz2 otp-2f9408fbd12c9a91a48f2157f075a369b99b66a5.zip | |
Merge branch 'bjorn/kernel/clean-up-code_server'
* bjorn/kernel/clean-up-code_server:
Introduce is_dir/1 to test for a directory
Introduce split_base/1 to split into name and version string
Eliminate one call to filename:split/1
Refactor get_name/1
Clean up make_path()
Avoid calling absname/1 on an absolute path
Clean up processing of archive files
Simplify and speed up del_ebin/1
code_SUITE: Enhance test of archive files
Diffstat (limited to 'lib/jinterface/.settings/org.eclipse.jdt.ui.prefs')
0 files changed, 0 insertions, 0 deletions