Skip to content

Pull requests: Kotlin/kotlin-interactive-shell

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Tweak README and add information on AUR availability
#62 by Maxr1998 was merged Apr 28, 2021 Loading…
fixed kit.bat for paths containing spaces
#75 by KamilKurde was merged May 12, 2021 Loading…
Add Homebrew instructions to README
#74 by SalvatoreT was merged May 3, 2021 Loading…
Bump spark-core_2.10 from 1.6.3 to 2.2.2 in /sparklin-spark-1.x dependencies Pull requests that update a dependency file
#39 by dependabot bot was closed Jul 3, 2020 Loading…
Bump junit from 4.0 to 4.13.1 in /ki-shell dependencies Pull requests that update a dependency file
#50 by dependabot bot was closed Jan 15, 2021 Loading…
Add missing lib dir and symbolic link to the library
#53 by javadba was merged Jan 20, 2021 Loading…
Update README latest Version to 0.3.3
#76 by J-MR-T was closed May 7, 2021 Loading…
Update the Maven Jar plugin to 3.2.0
#64 by SalvatoreT was merged Apr 3, 2021 Loading…
Fix misspellings in RecognizedElements class
#120 by ssibongee was merged Nov 7, 2023 Loading…
fix: spelling mistake in README
#118 by larcos01 was merged Nov 7, 2023 Loading…
Upgraded Kotlin version to 1.9.0
#129 by oxisto was closed Nov 7, 2023 Loading…
0.2 fixes
#15 by khud was merged May 9, 2018 Loading…
0.1.1
#5 by khud was merged Feb 6, 2018 Loading…
0.1.2
#11 by khud was merged Feb 28, 2018 Loading…
More features
#14 by khud was merged Apr 24, 2018 Loading…
Minor fixes
#16 by khud was merged May 16, 2018 Loading…
Prepare 0.2.1
#20 by khud was merged May 18, 2018 Loading…
Some additions 0.1.2
#12 by khud was merged Feb 28, 2018 Loading…
Version 0.1
#1 by khud was closed Feb 1, 2018 Loading…
Sync 0.1 -> master
#2 by khud was merged Feb 1, 2018 Loading…
Prepare 0.2.3
#25 by khud was merged Jun 20, 2018 Loading…
0.2
#13 by khud was merged Apr 10, 2018 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.