-
1ecb4317 · removed remaining working time from TaskAndTime to put them into th...
-
de1922d6 · added worktime and marked booked hours in TaskAndTime
-
cfe0a8b5 · added notes on current issues to TaskAndTime
-
71ed4662 · removed grayed out options from ricght click menu; researched cause...
-
0d8a1a89 · adding local changes before going home
-
7dd62636 · merge
- ... and 3 more commits. Compare 0d226642...7dd62636
-
fa47581f · found the way to change rendering order (i think); currently not wo...
- ... and 1 more commit. Compare cd69b388...fa47581f
opened
issue
#9
"Cant create server pages in node pages"
at
DiNeROS / DiNeROS 1 / PNML Petri Net Editor
-
0d226642 · removed vscode settings
closed
issue
#5
"Non-relevant options are available on certain elements"
at
DiNeROS / DiNeROS 1 / PNML Petri Net Editor
-
e756e65e · clean up
- ... and 11 more commits. Compare 3dbe3464...e756e65e
-
cd69b388 · added working time for 19.01.2025 and marked reported time slots fo...
-
accb0fe8 · updated TaskAndTime