update_facility #8

Merged

francesco.mangiacrapa merged 4 commits from update_facility into master

francesco.mangiacrapa commented

Owner

Added new usability facility (table of contents)

Added new usability facility (table of contents)

francesco.mangiacrapa added 4 commits

20c4da197e Added Table Of Contents (TOC) and "Go to Top"

1f3b3c2be1 Improved GUI. Added Temporal Comparator

2e2ecfa41d setTocContent visibility

c4ebdcf003 Synchronized the Timeline selected project with the showing popoup on

centroid

francesco.mangiacrapa merged commit 6b3ceadec5 into master 1 year ago

francesco.mangiacrapa referenced this issue from a commit

Merge pull request 'update_facility' (!8) from update_facility into master

The pull request has been merged as 6b3ceadec5.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b update_facility master

git pull origin update_facility

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff update_facility

git push origin master

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.