Skip to content
GitLab
Explore
Sign in
Edirom
Edirom-Online
Repository
Branches
Overview
Active
Stale
All
This project is mirrored from
https://*****@github.com/Edirom/Edirom-Online.git
. Pull mirroring updated
May 20, 2024
.
feature/extJS-7
9c853e7c
·
Resolving issue #375 Error 'Call to removed method 'type' found for 'Ext'' replace type with typeOf
·
May 16, 2024
develop
default
2328b8fa
·
Merge pull request #376 from musicEnfanthen/ftr/harden-actions
·
May 15, 2024
dependabot/github_actions/actions/upload-artifact-4.3.3
d76677e2
·
Bump actions/upload-artifact from 4.3.1 to 4.3.3
·
Apr 29, 2024
dependabot/github_actions/actions/upload-artifact-4.3.2
7d5a1e3c
·
Bump actions/upload-artifact from 4.3.1 to 4.3.2
·
Apr 22, 2024
fix-getPreferencesURI
5b7a340a
·
add fallback for missing user-prefs
·
Apr 12, 2024
ftr/teitext-transfromation-parameters
565a4361
·
Update teitext.xqm
·
Apr 08, 2024
ftr/measure-label-handling
d7da75b9
·
fix return tpe to proper JSON
·
Feb 26, 2024
!302
cleanup/update-tei-stylesheets
afe2bab0
·
build: include tei/profiles in ant build-plus
·
Feb 26, 2024
ftr/xquery-style-conformant
44b51188
·
Update add/data/xql/getSummary.xql
·
Feb 21, 2024