Skip to content

Activity

Showing most recent first

newtarget: Ask for target name if none given (#76)

Pull request merge
pkubanekpushed 1 commit to master • 331169f…95282de • 
on May 15, 2024

monitor: Fix backspace detection for some terminals (#75)

Pull request merge
pkubanekpushed 1 commit to master • 817ef85…331169f • 
on May 15, 2024

Don't try to close the dome if already closed after bad weather (#74)

Pull request merge
pkubanekpushed 1 commit to master • f1dd40d…817ef85 • 
on May 15, 2024

Use standard lock file logic for multidev (#73)

Pull request merge
pkubanekpushed 1 commit to master • a529691…f1dd40d • 
on May 15, 2024

monitor: Use UTF-8 instead of ACS (#77)

Pull request merge
pkubanekpushed 1 commit to master • 6ac8bf7…a529691 • 
on May 15, 2024

Bump org.json:json from 20230227 to 20231013 in /java

dependabot[bot]created dependabot/maven/java/org.json-json-20231013 • 83ebea8 • 
on Nov 14, 2023

sql: data: Fix SQL data install dir (#69)

Pull request merge
pkubanekpushed 1 commit to master • f1c9f66…6ac8bf7 • 
on Oct 7, 2023

Allow targets without coordinates & use them in targets.sql (#68)

Pull request merge
pkubanekpushed 1 commit to master • 882a2e2…f1c9f66 • 
on Oct 7, 2023

python: Fix focusing (#70)

Pull request merge
pkubanekpushed 1 commit to master • e7f67c3…882a2e2 • 
on Oct 7, 2023

Teld: tune the ignoreHorizon feature

Pull request merge
jstroblpushed 1 commit to master • 5852837…e7f67c3 • 
on Jun 2, 2023

Update list of required packages in INSTALL

Pull request merge
jstroblpushed 5 commits to master • bd719ec…5852837 • 
on May 16, 2023

Deleted branch

dependabot[bot]deleted dependabot/maven/java/org.json-json-20230227 • 
on Apr 14, 2023

Bump json from 20131018 to 20230227 in /java (#63)

Pull request merge
pkubanekpushed 1 commit to master • ee72e8d…bd719ec • 
on Apr 14, 2023

Bump json from 20131018 to 20230227 in /java

dependabot[bot]created dependabot/maven/java/org.json-json-20230227 • 651f2e6 • 
on Apr 14, 2023

Merge pull request #62 from jstrobl/master

Pull request merge
jstroblpushed 45 commits to master • 08e9cce…ee72e8d • 
on Mar 19, 2023

Long-term merge (#61)

Pull request merge
jstroblpushed 1 commit to master • 7d66dc1…08e9cce • 
on Mar 19, 2023

Merge pull request #60 from XePeleato/master

Pull request merge
jstroblpushed 2 commits to master • 4370ad0…7d66dc1 • 
on Mar 18, 2023