Historia zmian

Autor SHA1 Wiadomość Data
  MW ea9468890f fixed css bug "," wasn't allowed 7 lat temu
  MW 4d73362fc5 bug fixes 7 lat temu
  Jan Enders 257b567145 implemented OperatorInfoMetric, changed Debug to use User Console 7 lat temu
  Jan Enders 576e0acd93 small fix for automaic Metric update on Mapping change 7 lat temu
  Jan Enders 0295637166 Finalized Multigraph selection 7 lat temu
  Jan Enders 1794dece28 Formatting is your friend 7 lat temu
  Jan Enders 1740f63d2f Merge remote-tracking branch 'origin/Julian' 7 lat temu
  Jan Enders 965d79cfec Merged Dominik 7 lat temu
  Jan Enders 2147638482 Merged Jan 7 lat temu
  Jan Enders b149f4782b Merged Jascha 7 lat temu
  Jan Enders 0b05a32a70 Merge remote-tracking branch 'origin/Matthias' 7 lat temu
  Jan Enders cc098d6bf1 Made Some Metrics a little more pretty 7 lat temu
  jascha Bohne 316a70cdb0 moar propagating 7 lat temu
  jascha Bohne 5da98a8375 added propagating of undeletes 7 lat temu
  dominik 0cdebd0094 Fixed property creation bug, with wrong input 7 lat temu
  Jan Enders 886d8c8ece Feedback on Mapping Edge creation, auto updating Metrics 7 lat temu
  Jan Enders aad1c87829 Add functionality in Operator selection box now works, switch 7 lat temu
  Jan Enders 7bbd620c90 Manually made partial reset to Jaschas version 7 lat temu
  Jan Enders aa58554650 Stash some changes, selection box not yet finished 7 lat temu
  jascha Bohne 555bbf2d76 basic mapping operator now internally sorts descending 7 lat temu
  jascha Bohne 05f2a2db9d fixed Import of Mapping 7 lat temu
  Jan Enders 76ed34af07 removed some dead Code 7 lat temu
  Jan Enders 4e2de447c1 Node and Edge Creation now use GraphManager instead of Graph directly, 7 lat temu
  jascha Bohne 17d6fe1f2d forgot to push a file last time 7 lat temu
  jascha Bohne e4689b3b1e moar propagation 7 lat temu
  Julian Ohl dfbf15d52e Added "Reset Mapping" button 7 lat temu
  jascha Bohne 0b8978a2e3 added Attributepropagating 7 lat temu
  Jan Enders 6d2b5f8553 fixed getAllSubGraphs() Method in MyGraph 7 lat temu
  Jan Enders 94c9b864dc Merged Jascha, auto formatted everything 7 lat temu
  Jan Enders 76b18d8c4c Merge remote-tracking branch 'origin/Jascha' 7 lat temu