summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Collapse)Author
2024-08-14Add /etc/profile.d snippet to set ENSENSO_INSTALL.Maarten de Vries
2024-08-01Bump to 4.0.1486Maarten de Vries
2023-12-29Bump version to 3.5.1394.Maarten de Vries
2023-12-29Split ensenso-sdk into ensenso-sdk-runtime and ensenso-sdk-gui.Maarten de Vries
2023-12-29Make qt4 a hard dependency of the sdk package.Maarten de Vries
2023-08-23Bump version to 3.5.1375.Maarten de Vries
2023-08-23Bump version to 3.4.743.Maarten de Vries
2023-01-02Update to 3.4.715 and split examples into separate package.Maarten de Vries
2022-09-06Bump version to 3.3.1417.Maarten de Vries
2021-10-06Bump to 3.2.489Maarten de Vries
2021-02-08Use wrapper scripts that set ENSENSO_INSTALL.Maarten de Vries
The scripts set ENSENSO_INSTALL to "$XDG_CONFIG_HOME/ensenso", with a fallback to "$HOME/.config/ensenso". This way, the settings files are saved in the home folder instead of /opt. This *may* break stuff if the SDK also expects other things to reside under ENSENSO_INSTALL.
2021-02-08Split 220 MB of manual into separate doc package.Maarten de Vries
2021-02-08Bump version to 3.0.311.Maarten de Vries
2020-07-13Install (almost) the whole mess to /opt.Maarten de Vries
2020-07-13Bump version to 2.3.1536.Maarten de Vries
2018-09-13Update ensenso-sdk to 2.2.135Maarten de Vries
2018-04-04Update to 2.2.65Maarten de Vries
2017-09-10Update to 2.0.147.Maarten de Vries
2016-09-14Put exact revision in variable.Maarten de Vries
2016-02-22Update to 1.3.180.Maarten de Vries
2015-11-13Initial package.Maarten de Vries