This will be a nice addition for when sharing the code. I believe there's a react dep for this that copies content to clipboard when tapped/clicked.

The generation of a key for a InstrumentationLibrary should be moved out of the TracerProvider class into a utility class in SDK/Common/Util, since this funtionality is not only required in the Tra...

Loading one is fine, but our lame-o loading method breaks down if there are two or more txt's. Should be an easy fix.

Not saying it's good on small screens, but there should be a pixel limit on how wide the topmost post can get.

The app is missing the <title> element with the app name. I suppose "ÚFAL Translator" is the right title, just as in the app view?

I think this would be best to do with CSS.

The table is in a the wrong div I think

At PlayParam Create page the sun end the moon is in wrong div I think

The subscripts are either read as letters or as numbers or both in the test output. Eg: i) C5 --> Cs ii) C20 --> C2o

This is a test issue

A web extension to start extraction jobs

criar front end do site.

IMPORTANTE: Deve ser um componente reutilizável.

IMPORTANTE: Deve ser um componente reutilizável.

Este será o componente central para receber os componentes criados nas tarefas: #6 #7.

An project for DNA. Contribute to jacolpn/angular-game development by creating an account on GitHub.

If you go to routes/posts.js you will see a todo there stating the same by scraping every website using one endpoint it becomes too slow for the server to fetch results, instead break them down Tas...

Is your feature request related to a problem? Please describe. Right now, the game uses the default splash screen used by the Godot Engine. It would be nice to have our own custom version! Describe...

I seem unable to get dcdg to represent extensions in my output. part of 'extensions.dart'; extension intX on int { String toTime() { int h, m, s; h = this ~/ 3600; m = ((this - h * ...

It would be cool to be able to output diagrams to Mermaid format since that tool is quite popular / useful. See: http://mermaid-js.github.io